Please use this identifier to cite or link to this item: http://hdl.handle.net/10419/67100
Authors: 
Brauer, Johannes
Year of Publication: 
2011
Series/Report no.: 
Arbeitspapiere der Nordakademie 2011-08
Abstract: 
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.
Document Type: 
Working Paper

Files in This Item:
File
Size
3.94 MB





Items in EconStor are protected by copyright, with all rights reserved, unless otherwise indicated.