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.

Vorschau

Logo BII

BII

Zitieren

Zitierform:
Zitierform konnte nicht geladen werden.

Rechte

Nutzung und Vervielfältigung:Keine Creative-Commons-Lizenz - Es gelten die Bestimmungen des deutschen Urheberrechts (UrhG)Bitte beachten Sie, dass einzelne Bestandteile der Publikation anderweitigen Lizenz- bzw. urheberrechtlichen Bedingungen unterliegen können.