Korrektheit der Übersetzung objektorientierter Wissensrepräsentationssprachen mit statischer Vererbung

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.

Preview

Logo BII

BII

Cite

Citation style:
Could not load citation form.

Rights

Use and reproduction:No Creative Commons License - The german copyright act (UrhG) appliesPlease note that individual components of the publication may be subject to other licensing or copyright conditions.

Export