The Denotational Semantics of Programming Languages.

Robert D. Tennent

Published in: Commun. ACM (1976)

Keyphrases

denotational semantics
programming language
object oriented
general purpose
query language
software engineering
operational semantics
programming environment
high level
strongly typed
databases
abstract data types
data abstraction
database languages
lambda calculus