Termersetzungssysteme  (German, Paperback, Drosten Klaus)

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 zurueck und wurde besonders populaer in Verbindung mit der Programmiersprache PROLOG. Die algebraische Programmierung entstand in ihren Grundzuegen Mitte der 70er Jahre, als die ersten Arbeiten ueber die Spezifikation abstrakter Datentypen veroeffentlicht wurden. Obwohl die algebraische und die logische Programmierung auf gemeinsamen Prinzipien beruhen, entwickelten sie sich zunaechst unabhaengig voneinander. Erst in juengster Zeit wurde mit Erfolg versucht, beide Ansaetze in einem gemeinsamen Kalkuel zu vereinen. Das Buch wendet sich an alle, die an den theoretischen Grundlagen der algebraischen und logischen Programmierung interessiert sind. Es gibt zunaechst einen UEberblick ueber die Grundlagen der Ausfuehrung algebraischer Spezifikationen sowie eine Zusammenfassung der benoetigten 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 uebersetzen und mit deren Hilfe ausfuehren lassen. Zum besseren Verstaendnis des Textes sind Grundkenntnisse der mathematischen Logik hilfreich.