Notes related to Translation validation
Papers related to Translation validation
- Translation validation for an optimizing compiler [necula:pldi:2000]
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
Springer
Pages 151-166
1998
Note(s): translation validation