ENGLISH

Static Analysis: 4th International Symposium, SAS '97 Paris, France, September 8–10, 1997 Proceedings

By Pascal Van Hentenryck (eds.) , G. Ramalingam (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1997
ISBN
3540634681, 9783540634683
DOI
10.1007/BFb0032729
Open Library ID
OL22420203M
Language
english
Format
DJVU
Filesize
5 MB (5203742 bytes)
Series
Lecture Notes in Computer Science 1302
Edition
1
Pages
424\424
Library
Kolxo3
DPI
300
Time added
2011-01-06 10:13:16
CompilersInterpreters; Mathematical Logic and Formal LanguaLogics and Meanings of Programs; Programming Techn

Description

This book presents the refereed proceedings of the 4th International Symposium on Static Analysis, SAS '97, held in Paris, France, in September 1997. The 23 revised papers were selected from 61 high-quality submissions on the basis of at least three reviews. Also included are one system demonstration, three posters, and six invited contributions by leading scientists. The papers are organized in topical sections on procedural languages, logic programming, concurrency, and termination.

Similar books