Institut für Computersprachen
Programmiersprachen und Übersetzer
 | Diplomarbeit |
|---|---|
| Titel | Programmtransformationen in Logikprogrammierung und Prolo |
| Autor | Gehringer, Johannes |
| Erscheinungsjahr | 1996 |
| Inventardatum | 27.11.1996 |
| Abstract | Die vorliegende Diplomarbeit behandelt Programmtransformationen in der Logikprogrammierung und Prolog. Programmtransformationen setzen sich aus Transformationsregeln und Transformationsstrategien, die die Anwendung der Regeln steuern, zusammen. Transformationen dienen hauptsächlich dazu, bei gleichem Resultat ein Programm mit weniger Aufwand an Ressourcen (Ausführungszeit und Speicherplatz) auszuführen. Die Transformationen Entfalten, Falten und Definition sowie Ersetzung, Umordnung und Entfernung von Zielen und Klauseln werden besprochen. Wir zeigen in einer Übersicht, in welchen Semantikmodellen die Transformationsregeln korrekt sind. Eine Vorstellung von Grundstrategien und darauf aufbauenden Techniken folgt danach. Eine von diesen ist die partielle Evaluation, eine Programmspezialisierungstechnik. Weiters präsentieren wir Devilles Transformationen, die die Eigenschaften von vollem Prolog ausnützen. Eine dritte Kategorie sind Transformationen, die mittels Termgleichungen Programme in binärem Prolog oder Kontinuationsprolog in eine alternative Darstellung umwandeln, sogenannte Equality-Based Continuation-Transformationen. Die Arbeit schließt mit einer Zusammenstellung aller Transformationen. |
| Status | Verfügbar |