Denotational Semantics of a Calculator.

Published in: ACM Conference on Computer Science (1993)

Keyphrases

denotational semantics
programming language
operational semantics
query language
abstract data types
high level
object oriented
software engineering
formal semantics
machine learning
artificial intelligence
image sequences
normal form
preprocessing
data model
integrity constraints