Please use this identifier to cite or link to this item: doi:10.22028/D291-26465
Title: Wrapper semantics of an object oriented programming language with state
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 an intuitive 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 example language. The insertion of state into class definitions can be done before or after the related fixed point operations. The choice of the alternative considerably influences the semantic domains and clauses. We claim that despite the introduction of state the resulting denotational semantics is clear and intuitive.
Link to this record: urn:nbn:de:bsz:291-scidok-51572
Series name: Technischer Bericht / A / Fachbereich Informatik, Universität des Saarlandes
Series volume: 1990/14
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_14.pdf15,12 MBAdobe PDFView/Open

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