Typen, Objekte, Klassen - Teil 3: Semantik abstrakter Datentypen

In diesem dritten Teil einer Reihe von Arbeitspapieren wird schwerpunktmäßig die algebraische Spezifikation abstrakter Datentypen behandelt. Ausgehend von den Problemen einer Fixierung auf die syntaktischen Aspekte von Datentypen erfolgt eine Abgrenzung verschiedener Interpretationen des Begriffs Abstrakter Datentyp. Vor- und Nachteile verschiedener Implementierungsvarianten werden behandelt. Anschließend werden kurze Hinweise auf weiterführende Literatur und Spezifikationssprachen gegeben. Die Bedeutung formaler Methoden für die Lehre wird angerissen.