Variations on Constants

Flow Analysis of Sequential and Parallel Programs
2006. Buch. xiii, 177 S.: Bibliographien. Softcover
Springer ISBN 978-3-540-45385-7
Format (B x L): 15,5 x 23,5 cm
Gewicht: 630 g
In englischer Sprache
Das Werk ist Teil der Reihen:
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.
lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht
69,54 €
inkl. MwSt.
Focuses on optimal flow analysis of sequential and parallel programs Explores a hierarchy of constants in sequential programs Analyzes inherent limits of flow analysis of parallel programs Shows how to overcome these limits by abandoning a classic atomic execution assumption