Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard. Formal verification of synchronous data-flow program transformations toward certified compilers. Frontiers of Computer Science in China, 7(5):598-616, 2013. [doi]
Abstract is missing.