115
Voted
BIRTHDAY
2007
Springer
15 years 9 months ago
2007
Springer
We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...