Compilation of imperative synchronous programs with refined clocks.

Mike Gemunde, Jens Brandt, Klaus Schneider

Browse the full MEMOCODE paper archive.