A Denotational Semantics of Inheritance and its Correctness.

William R. Cook Jens Palsberg

Published in: OOPSLA (1989)

Keyphrases

denotational semantics
programming language
object oriented
operational semantics
query language
object oriented databases
multiple inheritance
abstract data types
knowledge representation
databases
high level
nearest neighbor
data warehouse
software engineering
general purpose