Article thumbnail
Location of Repository

The denotational semantics of an object oriented programming language

By Andreas V. Hense


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

Topics: Data processing Computer science
Publisher: Fakultät 6 - Naturwissenschaftlich-Technische Fakultät I. Fachrichtung 6.2 - Informatik
Year: 1990
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://scidok.sulb.uni-saarlan... (external link)
  • http://scidok.sulb.uni-saarlan... (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.