Variations on Constants (häftad)
Format
Häftad (Paperback / softback)
Språk
Engelska
Antal sidor
177
Utgivningsdatum
2006-10-01
Upplaga
2006 ed.
Förlag
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Illustrationer
XIII, 177 p.
Dimensioner
234 x 155 x 10 mm
Vikt
295 g
Antal komponenter
1
Komponenter
1 Paperback / softback
ISBN
9783540453857
Variations on Constants (häftad)

Variations on Constants

Flow Analysis of Sequential and Parallel Programs

Häftad Engelska, 2006-10-01
919
Skickas inom 5-8 vardagar.
Fri frakt inom Sverige för privatpersoner.
This monograph focuses on optimal flow analysis of sequential and parallel programs. It studies algorithmic properties of various versions of the well-known constant-propagation problem, combining techniques from such diverse areas as linear algebra, computable ring theory, abstract interpretation, program verification and complexity theory. This combination of techniques is the key to further progress in automatic analysis and constant-propagation illustrates this point in a theoretical study.
Visa hela texten

Passar bra ihop

  1. Variations on Constants
  2. +
  3. Modular Compiler Verification

De som köpt den här boken har ofta också köpt Modular Compiler Verification av Markus Muller-Olm (häftad).

Köp båda 2 för 1758 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Bloggat om Variations on Constants

Innehållsförteckning

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.