Jetzt bewerten Jetzt bewerten
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei
bücher.de, um das eBook-Abo tolino select nutzen zu können.
Hier
können Sie sich einloggen
Sie sind bereits eingeloggt. Klicken Sie auf 2. tolino select Abo, um fortzufahren.
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei bücher.de, um das eBook-Abo tolino select nutzen zu können.
Produktdetails
Verlag: Vieweg+Teubner Verlag Seitenzahl: 239 Erscheinungstermin: 17. April 2013 Deutsch ISBN-13: 9783322947093 Artikelnr.: 53102751 Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Die Herstellerinformationen sind derzeit nicht verfügbar.
1. Einleitung.- 1.1 Daten.- 1.2 Datentypen.- 1.3 Abstrakte Datentypen.- 1.4 Das Spezifikationsproblem.- 1.5 Übungen.- 2. Spezifikation.- 2.1 Signaturen.- 2.2 Axiome.- 2.3 Modelle.- 2.4 Theorien.- 2.5 Übungen.- 3. Strukturierung.- 3.1 Signatur-Morphismen.- 3.2 ADT- und Theorie-Morphismen.- 3.3 Strukturierte Spezifikationen.- 3.4 Übungen.- 4. Initialität.- 4.1 Term-Modelle.- 4.2 Initiale Modelle.- 4.3 Quotienten.- 4.4 Initiale Semantik.- 4.5 Übungen.- 5. Berechnung.- 5.1 Gleichungskalkül.- 5.2 Induktion.- 5.3 Kanonische Termalgebren.- 5.4 Termersetzung.- 5.5 Operationale Semantik.- 5.6 Übungen.- 6. Konstruktion.- 6.1 Erweiterungen.- 6.2 Datentyp-Konstruktoren.- 6.3 Freie Erweiterungen.- 6.4 Freie Konstruktion.- 6.5 Hierarchische Spezifikation.- 6.6 Übungen.- 7. Verhalten.- 7.1 Äquivalenz.- 7.2 Verhaltens-Abstraktion.- 7.3 Finale Algebren.- 7.4 Finale Semantik.- 7.5 Übungen.- 8. Parametrisierung.- 8.1 Pushouts in SIGN und SPEC.- 8.2 Parametrische Spezifikation.- 8.3 Parametrische abstrakte Datentypen.- 8.4 Übungen.- 9. PADT-Konstruktion.- 9.1 Grundlagen.- 9.2 Parametrische Anwendung.- 9.3 Reduktion.- 9.4 Übungen.- 10. Implementierung.- 10.1 Einführung.- 10.2 Realisierung.- 10.3 Komposition von Implementierungen.- 10.4 Übungen.- 11. Untersorten.- 11.1 Signaturen.- 11.2 Algebren.- 11.3 Gleichungen.- 11.4 Deklarationen.- 11.5 Operationale Semantik.- 11.6 Übungen.- 12. Fehler und Ausnahmen.- 12.1 Sichere und unsichere Funktionen.- 12.2 Implizite Ungleichungen.- 12.3 Ok/Fehler-disjunkte Untersorten.- 12.4 Punktierte Fehleralgebren.- 12.5 Vergleich der Methoden.- 12.6 Übungen.- Grundbegriffe der Kategorientheorie.- Literatur.
1. Einleitung.- 1.1 Daten.- 1.2 Datentypen.- 1.3 Abstrakte Datentypen.- 1.4 Das Spezifikationsproblem.- 1.5 Übungen.- 2. Spezifikation.- 2.1 Signaturen.- 2.2 Axiome.- 2.3 Modelle.- 2.4 Theorien.- 2.5 Übungen.- 3. Strukturierung.- 3.1 Signatur-Morphismen.- 3.2 ADT- und Theorie-Morphismen.- 3.3 Strukturierte Spezifikationen.- 3.4 Übungen.- 4. Initialität.- 4.1 Term-Modelle.- 4.2 Initiale Modelle.- 4.3 Quotienten.- 4.4 Initiale Semantik.- 4.5 Übungen.- 5. Berechnung.- 5.1 Gleichungskalkül.- 5.2 Induktion.- 5.3 Kanonische Termalgebren.- 5.4 Termersetzung.- 5.5 Operationale Semantik.- 5.6 Übungen.- 6. Konstruktion.- 6.1 Erweiterungen.- 6.2 Datentyp-Konstruktoren.- 6.3 Freie Erweiterungen.- 6.4 Freie Konstruktion.- 6.5 Hierarchische Spezifikation.- 6.6 Übungen.- 7. Verhalten.- 7.1 Äquivalenz.- 7.2 Verhaltens-Abstraktion.- 7.3 Finale Algebren.- 7.4 Finale Semantik.- 7.5 Übungen.- 8. Parametrisierung.- 8.1 Pushouts in SIGN und SPEC.- 8.2 Parametrische Spezifikation.- 8.3 Parametrische abstrakte Datentypen.- 8.4 Übungen.- 9. PADT-Konstruktion.- 9.1 Grundlagen.- 9.2 Parametrische Anwendung.- 9.3 Reduktion.- 9.4 Übungen.- 10. Implementierung.- 10.1 Einführung.- 10.2 Realisierung.- 10.3 Komposition von Implementierungen.- 10.4 Übungen.- 11. Untersorten.- 11.1 Signaturen.- 11.2 Algebren.- 11.3 Gleichungen.- 11.4 Deklarationen.- 11.5 Operationale Semantik.- 11.6 Übungen.- 12. Fehler und Ausnahmen.- 12.1 Sichere und unsichere Funktionen.- 12.2 Implizite Ungleichungen.- 12.3 Ok/Fehler-disjunkte Untersorten.- 12.4 Punktierte Fehleralgebren.- 12.5 Vergleich der Methoden.- 12.6 Übungen.- Grundbegriffe der Kategorientheorie.- Literatur.
