Advanced Symbolic Analysis for Compilers New Techniques and Algorithms for Symbolic Program Analysis and Optimization /

• Main Authors: Fahringer, Thomas (Author, http://id.loc.gov/vocabulary/relators/aut), Scholz, Bernhard (http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
• Edition: 1st ed. 2003.
• Series: Lecture Notes in Computer Science, 2628
• Subjects: Software engineering.; Programming languages (Electronic computers).; Operating systems (Computers).; Computer logic.; Software Engineering/Programming and Operating Systems.; Programming Languages, Compilers, Interpreters.; Software Engineering.; Operating Systems.; Logics and Meanings of Programs.

The objective of program analysis is to automatically determine the p- perties of a program. Tools of software development, such as compilers, p- formance estimators, debuggers, reverse-engineering tools, program veri?- tion/testing/proving systems, program comprehension systems, and program special...

Table of Contents:

• Symbolic Analysis of Programs
• Generating Program Contexts
• Symbolic Analysis Algorithms and Transformations
• Symbolic Analysis for Parallelizing Compilers
• Related Work
• Conclusion.