DMCA

Author manuscript, published in "Frontiers in Computer Science (2013)" Front.Comput.Sci. DOI RESEARCH ARTICLE Formal Verification of Synchronous Data-flow Program Transformations Toward Certified Compilers (2013)

by Van Chan Ngo , Jean-pièrre Talpin