Bitte verwenden Sie diesen Link, um diese Publikation zu zitieren, oder auf sie als Internetquelle zu verweisen: http://hdl.handle.net/10419/67100
Autoren: 
Brauer, Johannes
Datum: 
2011
Schriftenreihe/Nr.: 
Arbeitspapiere der Nordakademie No. 2011-08
Zusammenfassung: 
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.
Dokumentart: 
Working Paper

Datei(en):
Datei
Größe
3.94 MB





Publikationen in EconStor sind urheberrechtlich geschützt.