Formal Verification of Compiler Transformations on Polychronous Equations.

Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loc Besnard

Browse the full IFM paper archive.