Korrektheit der Übersetzung objektorientierter Wissensrepräsentationssprachen mit statischer Vererbung

zum Volltext (662 kB)   ZIP
Weitere TitelZusatztitel :
  • Zugl.: Kiel, Univ., Diss.
Beteiligte Person(en) / Institution(en)Autor :
DatumErschienen :
  • Februar 1993
Seitenbereich108 Seiten

Different techniques have been proposed in order to describe the semantics of sequential object oriented progrmming languages. Most of them use denotational semantics to define SMALLTALK-like languages with single inheritance. The situation is not yet clear in the presence of multiple inheritance. The programm semantics strongly depends on which components a class actually inherits from its superclasses. Hence, the definition of inheritance is crucial to the meaning of an object oriented program. At present there is no accepted notion of inheritance for languages wirh multiple inheritance. Different topological sorting algorithms, for example, have been used in a graph theoretical framework in order to define inheritance in Lisp-like object oriented languages.
Statische URLhttps://www.uni-kiel.de/journals/receive/jportal_jparticle_00000240
 
URN:NBNurn:nbn:de:gbv:8:1-zs-00000240-a2
IDNummer des Berichts :
  • Tr_9304