A Denotational Semantics for Handel-C.

Andrew Butterfield

Published in: Formal Methods and Hybrid Real-Time Systems (2007)

Keyphrases

denotational semantics
programming language
operational semantics
query language
abstract data types
high level
general purpose
object oriented
artificial intelligence
intelligent systems
database
multi agent
association rules