Mulkers | Live Data Structures in Logic Programs | Buch | 978-3-540-56694-6 | sack.de

Buch, Englisch, Band 675, 227 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 365 g

Reihe: Lecture Notes in Computer Science

Mulkers

Live Data Structures in Logic Programs

Derivation by Means of Abstract Interpretation
1993
ISBN: 978-3-540-56694-6
Verlag: Springer Berlin Heidelberg

Derivation by Means of Abstract Interpretation

Buch, Englisch, Band 675, 227 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 365 g

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-56694-6
Verlag: Springer Berlin Heidelberg


A common hazard for implementations of applicative
programming languages is the excessive creation of garbage
cells during program execution. The available run-time
garbage collecting processes are expensive in time and often
require a periodic disruption of the program execution. The
present book addresses the problem of memory re-use for
logic programs through program analysis rather than by
run-time garbage collection. The static analysis is
constructed as an application of abstractinterpretation for
logic programs. The starting point is a previously developed
application of integrated type and mode analysis, which
basically supplies a description of the logical terms to
which program variables can be bound at run time. The
contribution of the book consists of a modular extension of
the abstract domain and operations in order to derive
run-time properties concerning the sharing and liveness of
term substructures dynamically created during program
execution. Alsoillustrated is how such information can be
used by the compiler to improve the allocation of run-time
structures and to automatically introduce destructive
assignments in logic languages in a safe and transparent
way, thereby shifting some part of the run-time storage
reclamation overhead to compile time.

Mulkers Live Data Structures in Logic Programs jetzt bestellen!

Zielgruppe


Research


Autoren/Hrsg.


Weitere Infos & Material


Abstract interpretation.- Related work.- Sharing analysis.- Liveness analysis.- Conclusion.



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.