Variations on Constants Flow Analysis of Sequential and Parallel Programs /

• Κύριος συγγραφέας: Müller-Olm, Markus (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 3800
• Θέματα: 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...

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

• 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.