Denotational Semantics for Languages with Modules.

Harald Ganzinger

Published in: Formal Description of Programming Concepts (1982)

Keyphrases

denotational semantics
programming language
operational semantics
query language
expressive power
language independent
abstract data types
general purpose
multi dimensional
data structure