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.
Use and reproduction:
No license. The provisions of the German Copyright Act (UrhG) apply.
Please note that individual components of the publication may be subject to other licensing or copyright conditions.