Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1145)
Included in the following conference series:
Conference proceedings info: SAS 1996.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and PLILP.
The volume presents 22 highly-quality revised full papers selected from a total of 79 submissions; also included are three system descriptions and invited contributions by Alex Aiken (abstract only), Flemming Nielson, and Bernhard Steffen. Among the topics addressed are program analysis, incremental analysis, abstract interpretation, partial evaluation, logic programming, functional programming, and constraint programming.
The volume presents 22 highly-quality revised full papers selected from a total of 79 submissions; also included are three system descriptions and invited contributions by Alex Aiken (abstract only), Flemming Nielson, and Bernhard Steffen. Among the topics addressed are program analysis, incremental analysis, abstract interpretation, partial evaluation, logic programming, functional programming, and constraint programming.
Similar content being viewed by others
Keywords
Table of contents (28 papers)
-
Front Matter
Other volumes
-
Static Analysis
Bibliographic Information
Book Title: Static Analysis
Book Subtitle: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings
Editors: Radhia Cousot, David A. Schmidt
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-61739-6
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1996
Softcover ISBN: 978-3-540-61739-6Published: 11 September 1996
eBook ISBN: 978-3-540-70674-8Published: 07 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 398
Topics: Software Engineering/Programming and Operating Systems, Theory of Computation, Programming Techniques, Software Engineering, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs