Institut für Computersprachen
Programmiersprachen und Übersetzer
 | Diplomarbeit |
|---|---|
| Titel | Maschinencodegenerierung für binäres Prolog |
| Autor | Yannikos, Marinos Joannis |
| Erscheinungsjahr | 1994 |
| Inventardatum | 29.11.1994 |
| Abstract | In dieser Diplomarbeit wird die BinWAM, eine für binäres Prolog entwickelte WAM-Variante, analysiert und ein Verfahren zur partiellen Maschinencodgenerierung implementiert. Nach einem Überblick über bestehende Implementierungstechniken für Prolog und binäres Prolog und einer Analyse des BinProlog-Systems wird ein Verfahren vorgestellt, das Mips-, SPARC- und M68K-Maschinencode für Sequenzen von Unifikationsinstruktionen im Schreibmodus generiert, die bei der BinWAM zur Initialisierung der Continuation-Terme verwendet werden. Mittels dynamischer Assemblierung wird Maschinencode in den Programmdatenbereich geschrieben und vom Bytecode-Emulator ausgeführt. Das Verfahren wird mit bestehenden Arbeiten verglichen. |
| Status | Verfügbar |