Static Analysis: 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings 1997 Edition Contributor(s): Hentenryck, Pascal Van (Editor) |
|
ISBN: 3540634681 ISBN-13: 9783540634683 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: August 1997 Annotation: 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. |
Additional Information |
BISAC Categories: - Computers | Software Development & Engineering - General - Computers | Logic Design - Computers | Programming Languages - General |
Dewey: 005.131 |
LCCN: 97030415 |
Series: Lecture Notes in Computer Science, |
Physical Information: 0.88" H x 6.14" W x 9.21" (1.33 lbs) 424 pages |
Descriptions, Reviews, Etc. |
Publisher 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. |