Translation validation Amir Pnueli, Michael Siegel, Eli Singerman [doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] Tools and Algorithms for the Construction and Analysis of Systems Springer Pages 151-166 1998 Note(s): translation validation Notes related to Translation validation Translation validation Papers related to Translation validation Translation validation for an optimizing compiler [necula:pldi:2000]