Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-26465
Titel: Wrapper semantics of an object oriented programming language with state
Verfasser: Hense, Andreas V.
Sprache: Englisch
Erscheinungsjahr: 1990
DDC-Sachgruppe: 004 Informatik
Dokumentart : Report (Bericht)
Kurzfassung: 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 zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-51572
hdl:20.500.11880/26521
http://dx.doi.org/10.22028/D291-26465
Schriftenreihe: Technischer Bericht / A / Fachbereich Informatik, Universität des Saarlandes
Band: 1990/14
SciDok-Publikation: 4-Apr-2013
Fakultät: Fakultät 6 - Naturwissenschaftlich-Technische Fakultät I
Fachrichtung: MI - Informatik
Fakultät / Institution:MI - Fakultät für Mathematik und Informatik

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
fb14_1990_14.pdf15,12 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.