Variations on Constants Flow Analysis of Sequential and Parallel Programs /

• Main Author: Müller-Olm, Markus (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Series: Lecture Notes in Computer Science, 3800
• Subjects: Computer science.; Software engineering.; Programming languages (Electronic computers).; Computers.; Computer logic.; Computer Science.; Theory of Computation.; Software Engineering.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.

Program analysis is concerned with techniques that automatically determine run-time properties of given programs prior to run-time. It is used for validation in order to ensure that programs serve their intended purpose and in further processing for efficient execution such as in optimizing compiler...

Table of Contents:

• 1. Introduction
• 2. A Hierarchy of Constants
• 3. Deciding Constants by Effective Weakest Preconditions
• 4. Limits of Parallel Flow Analysis
• 5. Parallel Flow Graphs
• 6. Non-atomic Execution
• 7. Dependence Traces
• 8. Detecting Copy Constants and Eliminating Faint Code
• 9. Complexity in the Non-atomic Scenario
• 10. Conclusion
• A. A Primer on Constraint-Based Program Analysis.