CPP Denotational Semantics.

Jean-Marie Favre

Published in: SCAM (2003)

Keyphrases

denotational semantics
programming language
operational semantics
query language
abstract data types
object oriented
general purpose
high level
database
multi dimensional
data types