OOPM 2016/17 - Spezifikation abstrakter Datentypen

Skript zur Vorlesung

Anwendung der Methode der algebraischen Spezifikation auf abstrakte Datentypen: [.pdf]

Spezifikation ausgewählter ADTs

[*.asl]

Die ADTs werden auch im Skript bzw. dessen Anhang spezifiziert.

Inhalt

Wir verlinken nach dem 101wiki für Begriffe.

Fragestellungen aus der Vorlesung

  • Was ist ein abstrakter Datentyp?
  • Welche typischen abstrakten Datentypen gibt es?
  • Wie kann man diese spezifizieren?
  • (Später: Wie kann man diese implementieren?)
  • (Später: Was ist die Komplexität der Operationen?)

Empfehlungen zur Nachbereitung

  • Finden weiterer ADTs und Spezifikation derselbigen