A Denotational Semantics of Inheritance and its Correctness

A Denotational Semantics of Inheritance and its Correctness (1995)

by William Cook , Jens Palsberg

Citations:

129 - 9 self

Datum	Value	Source
TITLE	Abstract	SVM HeaderParse 0.1
AUTHOR NAME	William Cook	SVM HeaderParse 0.1
AUTHOR ADDR	P.O. Box 10490; Palo Alto, CA 94303-0969	SVM HeaderParse 0.1
AUTHOR NAME	Jens Palsberg	SVM HeaderParse 0.1
AUTHOR ADDR	Ny Munkegade, DK-8000; Aarhus C, Denmark	SVM HeaderParse 0.1
ABSTRACT	This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modified versions of recursive definitions. The correctness of the model is demonstrated by proving it equivalent to an operational semantics of inheritance based upon the method lookup algorithm of object-oriented languages.	SVM HeaderParse 0.1
CITATIONS	17 found	ParsCit 1.0