Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2628)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (8 chapters)
Keywords
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
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