Termersetzungssysteme: Grundlagen der Prototyp-Generierung algebraischer Spezifikationen

ISBN-13: 9783540511724 / Niemiecki / Miękka / 1989 / 151 str.

Klaus Drosten

Opis

Termersetzungssysteme sind ein nicht-deterministisches Berechnungsmodell aus dem Bereich der funktionalen Programmierung. Die Funktionen werden durch rekursive Regeln spezifiziert und durch Untertermersetzung ohne explizite Kontrolle ausgewertet. Die logische Programmierung geht auf den Anfang der 70er Jahre zuruck und wurde besonders popular in Verbindung mit der Programmiersprache PROLOG. Die algebraische Programmierung entstand in ihren Grundzugen Mitte der 70er Jahre, als die ersten Arbeiten uber die Spezifikation abstrakter Datentypen veroffentlicht wurden. Obwohl die algebraische und die logische Programmierung auf gemeinsamen Prinzipien beruhen, entwickelten sie sich zunachst unabhangig voneinander. Erst in jungster Zeit wurde mit Erfolg versucht, beide Ansatze in einem gemeinsamen Kalkul zu vereinen. Das Buch wendet sich an alle, die an den theoretischen Grundlagen der algebraischen und logischen Programmierung interessiert sind. Es gibt zunachst einen Uberblick uber die Grundlagen der Ausfuhrung algebraischer Spezifikationen sowie eine Zusammenfassung der benotigten Grundbegriffe. Das Grundkonzept der algebraischen Spezifikation wird um Ausdrucksmittel zur Fehlerbehandlung und Modularisierung in abstrakten Datentypen erweitert. Die Ausdrucksmittel werden besonders im Hinblick auf ihre Operationalisierbarkeit untersucht. Ausserdem wird gezeigt, wie (und wann) sich algebraische Spezifikationen automatisch in PROLOG-Programme ubersetzen und mit deren Hilfe ausfuhren lassen. Zum besseren Verstandnis des Textes sind Grundkenntnisse der mathematischen Logik hilfreich."

Spis treści

1. Einführung.- 2. Grundbegriffe.- 2.1 Relationen.- 2.2 Terme und ihre Operationen.- 3. Termersetzungssysteme mit eingeschränkten Variablen.- 3.1 Motivation.- 3.2 Theoretische Grundlagen.- 3.2.1 Unifikation.- 3.2.2 Konfluenz.- 3.2.3 Termination.- 3.3 Partiell geordnete Sorten und überladene Operatoren.- 3.4 Anwendung auf die algebraische Spezifikation von Fehlern und Ausnahmen.- 4. Übersetzung von Termersetzungssystemen in PROLOG-Programme.- 4.1 Logische Programmierung.- 4.2 Die Übersetzung und ihre Korrektheit.- 4.3 Verwandte Ansätze.- 5. Parametrisierung.- 5.1 Kombinationen von Termersetzungssystemen.- 5.2 Ausführbarkeit zusammengesetzter Spezifikationen.- 6. Schlußbemerkungen.- Begriffsverzeichnis.