Live Data Structures in Logic Programs (Lecture Notes in Computer Science) - Softcover

Mulkers, Anne

Softcover

ISBN 10: 0387566945 ISBN 13: 9780387566948

Verlag: Springer Verlag, 1993

Inhaltsangabe

Eine häufige Gefahr für Implementierungen anwendbarer Programmiersprachen ist die übermäßige Erzeugung von Müllzellen während der Programmausführung. Die verfügbaren Laufzeit-Müllsammlungsprozesse sind zeitaufwändig und erfordern oft eine regelmäßige Störung der Programmausführung. Das vorliegende Buch behebt das Problem der Wiederverwendung des Speichers für Logikprogramme durch Programmanalyse anstatt durch Laufzeit-Müllsammlung. Die statische Analyse ist als Anwendung abstrakter Interpretation für Logikprogramme konzipiert. Der Ausgangspunkt ist eine bisher entwickelte Anwendung der integrierten Typ- und Modusanalyse, die grundsätzlich eine Beschreibung der logischen Begriffe liefert, die Programmvariablen zur Laufzeit gebunden werden können. Der Beitrag des Buches besteht aus einer modularen Erweiterung der abstrakten Domäne und Operationen, um Laufzeiteigenschaften bezüglich der Teilung und Lebendigkeit von Begriffsunterkonstruktionen abzuleiten, die während der Programmausführung dynamisch erstellt wurden. Ebenfalls illustriert ist, wie solche Informationen vom Compiler verwendet werden können, um die Zuordnung von Laufzeitstrukturen zu verbessern und automatisch zerstörerische Zuordnungen in Logiksprachen auf sichere und transparente Weise einzuführen, wodurch ein Teil der Laufzeitspeicherrücklagerungen auf die Kompilierung der Zeit verschoben wird.

Details zur Ausgabe

• Verlag: Springer Verlag
• Erscheinungsdatum: 1993
• Sprache: Englisch
• ISBN 10: 0387566945
• ISBN 13: 9780387566948
• Einband: Taschenbuch
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Deutschland