Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2628)
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 (8 chapters)
-
Front Matter
-
Back Matter
About this book
Reviews
From the reviews:
"This book is about program analysis. … the book is an in depth foray in symbolic analysis completed by an impressive and extensive discussion on the up to date references and related research work. … The book is addressed to computer science researchers and students interested in program analysis. Compiler engineers and other developers for software development tools would find this book as a valuable source of ideas and references." (Corneliu Bârsan, Zentralblatt MATH, Vol. 1042 (17), 2004)
Editors and Affiliations
-
Institute for Software Science, University of Vienna, Vienna, Austria
Thomas Fahringer
-
Institut für Computersprachen E185/1, Technische Universität Wien, Vienna, Austria
Bernhard Scholz
Bibliographic Information
Book Title: Advanced Symbolic Analysis for Compilers
Book Subtitle: New Techniques and Algorithms for Symbolic Program Analysis and Optimization
Editors: Thomas Fahringer, Bernhard Scholz
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-36614-8
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2003
Softcover ISBN: 978-3-540-01185-9Published: 07 April 2003
eBook ISBN: 978-3-540-36614-0Published: 03 August 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 136
Topics: Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters, Software Engineering, Operating Systems, Logics and Meanings of Programs