Variations on Constants Flow Analysis of Sequential and Parallel Programs /

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Müller-Olm, Markus (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Programming and Software Engineering, 3800
Temas:
Computer science.
Software engineering.
Compilers (Computer programs).
Theory of Computation.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares