Willkommen, schön sind Sie da!
Logo Ex Libris

Variations on Constants

  • E-Book (pdf)
  • 177 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This monograph focuses on optimal flow analysis of sequential and parallel programs. It studies algorithmic properties of various... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.
CHF 87.00
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.



Inhalt

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.

Produktinformationen

Titel: Variations on Constants
Untertitel: Flow Analysis of Sequential and Parallel Programs
Autor:
EAN: 9783540453864
Digitaler Kopierschutz: Wasserzeichen
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Anzahl Seiten: 177
Veröffentlichung: 11.10.2006
Dateigrösse: 1.7 MB

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"