Sciweavers

ENTCS
2006
136views more  ENTCS 2006»
13 years 3 months ago
A "Hardware Compiler" Semantics for Handel-C
We present a denotational semantics for the hardware compilation language Handel-C that maps language constructs to a set of equations, which describe the structure of the resulti...
Andrew Butterfield, Jim Woodcock