Please use this identifier to cite or link to this item: doi:10.22028/D291-26461
Title: The denotational semantics of an object oriented programming language
Author(s): Hense, Andreas V.
Language: English
Year of Publication: 1990
DDC notations: 004 Computer science, internet
Publikation type: Report
Abstract: Recently, several descriptions of object oriented programming languages with denotational semantics have been given. Cook presented a denotational semantics of class inheritance. This semantics abstracts from the internal state of objects, which is one of their salient characteristics. In this paper we show that Cooks denotational semantics of class inheritance is applicable to object oriented programming languages, where objects have a state. For this purpose we define a direct denotational semantics of a small object oriented programming language. We claim that the resulting denotational semantics is clear and can serve the derivation of efficient implementations of object oriented programming languages.
Link to this record: urn:nbn:de:bsz:291-scidok-51531
Series name: Technischer Bericht / A / Fachbereich Informatik, Universität des Saarlandes
Series volume: 1990/01
Date of registration: 4-Apr-2013
Faculty: MI - Fakultät für Mathematik und Informatik
Department: MI - Informatik
Collections:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Files for this record:
File Description SizeFormat 
fb14_1990_01.pdf15,75 MBAdobe PDFView/Open

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