Year: 1992
Type: dissertation
Abstract: In dieser Dissertation werden zwei neue Methoden zur Spezialisierung von normalen und binären Prologprogrammen vorgestellt und mit den bisherigen Techniken verglichen.Die eine Methode verwendet partiell statische Ziele, welche die herkömmlichen Bindungsumgebungen verallgemeinern und dadurch mehr Information zur Spezialisierung insbesondere in auf Expandierung und Komprimieren basierenden Transformationssystemen weitergeben können.Die andere Methode, gleichheitsbasierte Transformation von 'Continuations' ('Equality-based continuation transformation'), dient zur Entfernung der beim Durchreichen von Kontextargumenten und Akkumulatoren entstehenden Existenzvariablen und anderer überflüssiger Strukturen, für die aus der Literatur keine Verfahren bekannt sind.Aus Definiten Klausen-Grammatiken (DCGs) entstandene Programme können so von sämtlichen zum Durchreichen der Differenzliste verwendeten Existenzvariablen befreit werden.Diese Methode bereitet durch die Entfernung von Existenzvariablen Programme nicht nur für weitere Programmtransformationen auf, sondern erhöht auch die Ausführungsgeschwindigkeit und vermindert den dynamischen Speicherbedarf.Sie ist besonders für binäre Prologprogramme geeignet, was durch experimentelle Untersuchungen belegt wird.Es werden einige Anwendungen unserer Methoden vorgestellt: Der der ,,Vienna Abstract Machine" eigene Unifikationsalgorithmus kann durch die Verbindung der beiden neuen Methoden hergeleitet werden.Weiters werden einige Erweiterungen üblicher Programmiertechniken vorgestellt, für die gleichheitsbasierte Transformationen von Nutzen sind.
Source: reposiTUm (TU Wien)
Author: Neumerkel, Ulrich W.
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7052663638