Müller-Olm | Variations on Constants | E-Book | www.sack.de
E-Book

E-Book, Englisch, Band 3800, 177 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Müller-Olm Variations on Constants

Flow Analysis of Sequential and Parallel Programs
2006
ISBN: 978-3-540-45386-4
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Flow Analysis of Sequential and Parallel Programs

E-Book, Englisch, Band 3800, 177 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-45386-4
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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.

Müller-Olm Variations on Constants jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Müller-Olm, Markus

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.