Detailinformation

	Diplomarbeit
Titel	The Implementation of a VAM based Incremental Compiler for Prolog
Autor	Cheng, Dongyang
Erscheinungsjahr	1994
Inventardatum	13.12.1994
Abstract	Die Vienna Abstract Machine (VAM) ist eine abstrakte Maschine, die entworfen wurde, um einige Mängel der Warren Abstract Machine (WAM) zu beseitigen. Für verschiedene Zwecke wurden unterschiedliche Modelle der VAM entwickelt. Die VAM2P eignet sich gut für einen Interpreter, die VAM1P wertet den Aufruf eines Prädikats teilweise aus und ist auf Maschinencode erzeugende Compiler ausgerichtet. Die VAMsP wurde zur VAMAI adaptiert, einer abstrakten Maschine für abstrakte Interpretation. Globale Analyse mit dieser abstrakten Maschine ist so schnell, daß es möglich ist, gleichzeitig globale Analyse und die Datenbankprädikate assert und retract zu unterstützen, die eine inkrementelle Übersetzung erzwingen. Diese Diplomarbeit beschreibt die Implementierung eines inkrementellen Compilers, der auf der VAM1P und der VAMAI aufbaut. Sie stellt die Vienna Abstract Machine vor und führt in die Techniken der abstrakten Interpretation ein. Der Hauptteil der Arbeit beschreibt die Implementierung des inkrementellen Compilers im Detail. Eine vorläufige Auswertung des Compilers zeigt, daß die Qualität des erzeugten Maschinencodes mit den besten Compilern mithalten kann, während die Übersetzungszeit mit den Zeiten einfacher Zwischencodeübersetzer vergleichbar ist.
Status	Verfügbar