A Denotational Semantics of Inheritance and Its Correctness

William R. Cook Jens Palsberg

Published in: Inf. Comput. (1994)

Keyphrases

denotational semantics
programming language
object oriented
operational semantics
query language
object oriented databases
abstract data types
high level
data model
multiple inheritance
knowledge representation
nearest neighbor
multi dimensional
machine learning
general purpose
formal semantics