Algebraische Spezifikation abstrakter Datentypen

Meer over het boek

Inhaltsverzeichnis: 1. Einleitung: Daten, Datentypen, abstrakte Datentypen, Spezifikationsproblem, Übungen. 2. Spezifikation: Signaturen, Axiome, Modelle, Theorien, Übungen. 3. Strukturierung: Signatur-Morphismen, ADT- und Theorie-Morphismen, strukturierte Spezifikationen, Übungen. 4. Initialität: Term-Modelle, initiale Modelle, Quotienten, initiale Semantik, Übungen. 5. Berechnung: Gleichungskalkül, Induktion, kanonische Termalgebren, Termersetzung, operationale Semantik, Übungen. 6. Konstruktion: Erweiterungen, Datentyp-Konstruktoren, freie Erweiterungen, freie Konstruktion, hierarchische Spezifikation, Übungen. 7. Verhalten: Äquivalenz, Verhaltens-Abstraktion, finale Algebren, finale Semantik, Übungen. 8. Parametrisierung: Pushouts in SIGN und SPEC, parametrische Spezifikation, parametrische abstrakte Datentypen, Übungen. 9. PADT-Konstruktion: Grundlagen, parametrische Anwendung, Reduktion, Übungen. 10. Implementierung: Einführung, Realisierung, Komposition von Implementierungen, Übungen. 11. Untersorten: Signaturen, Algebren, Gleichungen, Deklarationen, operationale Semantik, Übungen. 12. Fehler und Ausnahmen: sichere und unsichere Funktionen, implizite Ungleichungen, ok/Fehler-disjunkte Untersorten, punktierte Fehleralgebren, Vergleich der Methoden, Übungen. Grundbegriffe der Kategorientheorie. Literatur.