Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-26461
Titel: The denotational semantics of an object oriented programming language
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 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 zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-51531
hdl:20.500.11880/26517
http://dx.doi.org/10.22028/D291-26461
Schriftenreihe: Technischer Bericht / A / Fachbereich Informatik, Universität des Saarlandes
Band: 1990/01
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_01.pdf15,75 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.