Automatically proving the correctness of translations involving optimized code.

Hanan Samet
[Google Scholar] [DBLP] [Citeseer]

Ph.D. thesis
AAI7525601
Stanford University
Stanford, CA, USA
1975
Note(s): translation validation, ISA specification

Translation validation, Verified compilers