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

• Κύριοι συγγραφείς: Fahringer, Thomas (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut), Scholz, Bernhard (http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
• Έκδοση: 1st ed. 2003.
• Σειρά: Lecture Notes in Computer Science, 2628
• Θέματα: 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...

Πίνακας περιεχομένων:

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