A denotational semantics for Handel-C.

Andrew Butterfield

Published in: Formal Aspects Comput. (2011)

Keyphrases

denotational semantics
programming language
operational semantics
query language
abstract data types
databases
high level
database systems
database
formal semantics
artificial intelligence
knowledge discovery
image sequences
data structure
multi dimensional
database management systems