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
AAI7525601
Stanford University
Stanford, CA, USA
1975
Note(s): translation validation, ISA specification