Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1302)
Included in the following conference series:
Conference proceedings info: SAS 1997.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (33 papers)
Other volumes
-
Static Analysis
Keywords
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