Detailinformation

	Diplomarbeit
Titel	Ein optimierender Übersetzer für die Sprache VPL (Vienna Parallel Logic)
Autor	Sabitzer, Karl
Erscheinungsjahr	1993
Inventardatum	02.12.1993
Abstract	Diese Diplomarbeit beschreibt die Implementierung eines Übersetzers für die parallele, logische Sprache VPL (Vienna Parallel Logic) in VPL-AM (VPL-Abstract Machine). VPL ist eien Koordinationssprache, die als Erweiterung von Prolog um folgende Eigenschaften betrachtet werden kann: Die Unterstützung von Parallelismus sowie programmiertem Rücksetzen, die Einbindung eines leistungsfähigen Transaktionsmodells und die Bereitstellung von Kommunikationsvariablen als abstrakten Kommunikationsmechnismus. VPL-AM basiert auf einer binären WAM (Warren Abstract Machine), deren Befehlssatz um die Ausführung von parallelen Programmen und Transaktionen erweitert wurde. Der Übersetezr transformiert VPL zuerst in ein äquivalentes binäres Programm. Im nächsten Schritt wird eine Klausenindizierung durchgeführt. Schließlich erfolgt die eigentliche, termorientierte Übersetzung der Klausen in VPL-AM Befehle.
Status	Verfügbar