Exercises in Denotational Semantics.

Krzysztof R. Apt J. W. de Bakker

Published in: MFCS (1976)

Keyphrases

denotational semantics
programming language
operational semantics
query language
abstract data types
high level
databases
artificial intelligence
database systems
multi agent
object oriented
software engineering
general purpose
expressive power
inference rules