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

Johannes Brauer

No 2011-08, Arbeitspapiere der Nordakademie from Nordakademie - Hochschule der Wirtschaft

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.

Date: 2011
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.econstor.eu/bitstream/10419/67100/1/685362469.pdf (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:zbw:nordwp:201108

Access Statistics for this paper

More papers in Arbeitspapiere der Nordakademie from Nordakademie - Hochschule der Wirtschaft Contact information at EDIRC.
Bibliographic data for series maintained by ZBW - Leibniz Information Centre for Economics ().