Program Verification Based on Denotational Semantics.

Published in: POPL (1981)

Keyphrases

denotational semantics
programming language
operational semantics
query language
abstract data types
object oriented
general purpose
data mining
relational databases
software engineering
high level
data model
multi dimensional