Denotational Semantics as a Specification of Code Generators.

Martin R. Raskovsky

Published in: SIGPLAN Symposium on Compiler Construction (1982)

Keyphrases

denotational semantics
operational semantics
programming language
code generation
query language
high level
abstract data types
source code
formal semantics
object oriented
user defined
formal specification
data analysis
mental states
databases
data model
machine learning