Algebraische Spezifikation abstrakter Datentypen
Subtitle: eine Einführung in die Theorie
By: von Hans-Dieter Ehrich, Martin Gogolla, Udo Walter Lipeck
Series: Leitfäden und Monographien der Informatik; Leitfäden und Monographien der Informatik
Publisher: B.G. Teubner
Published: 1989
Place of publication: Stuttgart
Language: ger
Format: [electronic resource] :
Number of pages: 236
ISBN-13: 9783519022664; 9783322947093
Subjects: Development; Algebraische Spezifikation; Algebraic logic; Universal Algebra; Abstrakter Datentyp; Computer software
Notes: Restrictions unspecified

Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010.

Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212

digitized 2010 HathiTrust Digital Library committed to preserve

Description based on print version record.
Table of contents: title: 1. Einleitung; title: 1.1 Daten; title: 1.2 Datentypen; title: 1.3 Abstrakte Datentypen; title: 1.4 Das Spezifikationsproblem; title: 1.5 Übungen; title: 2. Spezifikation; title: 2.1 Signaturen; title: 2.2 Axiome; title: 2.3 Modelle; title: 2.4 Theorien; title: 2.5 Übungen; title: 3. Strukturierung; title: 3.1 Signatur-Morphismen; title: 3.2 ADT- und Theorie-Morphismen; title: 3.3 Strukturierte Spezifikationen; title: 3.4 Übungen; title: 4. Initialität; title: 4.1 Term-Modelle; title: 4.2 Initiale Modelle; title: 4.3 Quotienten; title: 4.4 Initiale Semantik; title: 4.5 Übungen; title: 5. Berechnung; title: 5.1 Gleichungskalkül; title: 5.2 Induktion; title: 5.3 Kanonische Termalgebren; title: 5.4 Termersetzung; title: 5.5 Operationale Semantik; title: 5.6 Übungen; title: 6. Konstruktion; title: 6.1 Erweiterungen; title: 6.2 Datentyp-Konstruktoren; title: 6.3 Freie Erweiterungen; title: 6.4 Freie Konstruktion; title: 6.5 Hierarchische Spezifikation; title: 6.6 Übungen; title: 7. Verhalten; title: 7.1 Äquivalenz; title: 7.2 Verhaltens-Abstraktion; title: 7.3 Finale Algebren; title: 7.4 Finale Semantik; title: 7.5 Übungen; title: 8. Parametrisierung; title: 8.1 Pushouts in SIGN und SPEC; title: 8.2 Parametrische Spezifikation; title: 8.3 Parametrische abstrakte Datentypen; title: 8.4 Übungen; title: 9. PADT-Konstruktion; title: 9.1 Grundlagen; title: 9.2 Parametrische Anwendung; title: 9.3 Reduktion; title: 9.4 Übungen; title: 10. Implementierung; title: 10.1 Einführung; title: 10.2 Realisierung; title: 10.3 Komposition von Implementierungen; title: 10.4 Übungen; title: 11. Untersorten; title: 11.1 Signaturen; title: 11.2 Algebren; title: 11.3 Gleichungen; title: 11.4 Deklarationen; title: 11.5 Operationale Semantik; title: 11.6 Übungen; title: 12. Fehler und Ausnahmen; title: 12.1 Sichere und unsichere Funktionen; title: 12.2 Implizite Ungleichungen; title: 12.3 Ok/Fehler-disjunkte Untersorten; title: 12.4 Punktierte Fehleralgebren; title: 12.5 Vergleich der Methoden; title: 12.6 Übungen; title: Grundbegriffe der Kategorientheorie; title: Literatur.