Mechanized semantics and verified compilation for a dataflow synchronous language with reset
Keyword(s):
2010 ◽
Vol 23
(2)
◽
pp. 169-182
◽
Keyword(s):