A refinement-based compiler development for synchronous languages.

Jean-Paul Bodeveix, Mamoun Filali-Amine, Shuanglong Kan

Browse the full MEMOCODE paper archive.