Results 201 to 210 of about 48,344 (238)
Some of the next articles are maybe not open access.
A “Hardware Compiler” Semantics for Handel-C
Electronic Notes in Theoretical Computer Science, 2006Andrew Butterfield, Jim Woodcock
exaly
A denotational semantics for Handel-C
Formal Aspects of Computing, 2011Andrew Butterfield, Butterfield Andrew
exaly

