عنوان

Termersetzungssysteme :

شابک

3540511725

شابک

3642747698

شابک

9783540511724

شابک

9783642747694

شماره

b566406

عنوان اصلي

Termersetzungssysteme :

نام عام مواد

[Book]

ساير اطلاعات عنواني

Grundlagen der Prototyp-Generierung algebraischer Spezifikationen

نام نخستين پديدآور

von Klaus Drosten.

محل نشرو پخش و غیره

Berlin, Heidelberg

نام ناشر، پخش کننده و غيره

Springer Berlin Heidelberg

تاریخ نشرو بخش و غیره

1989

عنوان فروست

Informatik-Fachberichte, 210.

متن يادداشت

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.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.

متن يادداشت

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 zurück und wurde besonders populär in Verbindung mit der Programmiersprache PROLOG. Die algebraische Programmierung entstand in ihren Grundzügen Mitte der 70er Jahre, als die ersten Arbeiten über die Spezifikation abstrakter Datentypen veröffentlicht wurden. Obwohl die algebraische und die logische Programmierung auf gemeinsamen Prinzipien beruhen, entwickelten sie sich zunächst unabhängig voneinander. Erst in jüngster Zeit wurde mit Erfolg versucht, beide Ansätze in einem gemeinsamen Kalkül zu vereinen. Das Buch wendet sich an alle, die an den theoretischen Grundlagen der algebraischen und logischen Programmierung interessiert sind. Es gibt zunächst einen Überblick über die Grundlagen der Ausführung algebraischer Spezifikationen sowie eine Zusammenfassung der benötigten 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. Außerdem wird gezeigt, wie (und wann) sich algebraische Spezifikationen automatisch in PROLOG-Programme übersetzen und mit deren Hilfe ausführen lassen. Zum besseren Verständnis des Textes sind Grundkenntnisse der mathematischen Logik hilfreich.

موضوع مستند نشده

Algebra -- Data processing.

موضوع مستند نشده

Computer science.

موضوع مستند نشده

Software engineering.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

von Klaus Drosten.

مستند نام اشخاص تاييد نشده

Klaus Drosten

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y