A Denotational Semantics for Handel-C Hardware Compilation.

Juan Ignacio Perna Jim Woodcock

Published in: ICFEM (2007)

Keyphrases

denotational semantics
programming language
low cost
operational semantics
query language
hardware and software
real time
computer systems
hardware implementation
abstract data types
database
data streams
data model
general purpose