From standard to implementation denotational semantics.

Martin R. Raskovsky Philip A. Collier

Published in: Semantics-Directed Compiler Generation (1980)

Keyphrases

denotational semantics
general purpose
programming language
artificial intelligence
high level
relational databases