Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1302)
Conference series link(s): SAS: International Static Analysis Symposium
Conference proceedings info: SAS 1997.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (33 papers)
-
Front Matter
About this book
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.
Bibliographic Information
Book Title: Static Analysis
Book Subtitle: 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings
Editors: Pascal Hentenryck
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/BFb0032729
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1997
Softcover ISBN: 978-3-540-63468-3Published: 27 August 1997
eBook ISBN: 978-3-540-69576-9Published: 01 December 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 424
Topics: Computer System Implementation, Programming Languages, Compilers, Interpreters, Software Engineering/Programming and Operating Systems, Logics and Meanings of Programs, Programming Techniques, Software Engineering