Algebraic Denotational Semantics Using Parameterized Abstract Modules.

Joseph A. Goguen Kamran Parsaye-Ghomi

Published in: ICFPC (1981)

Keyphrases

denotational semantics
abstract data types
programming language
query language
data types
high level
operational semantics
object oriented databases
relational database systems
data model
general purpose
database management systems