Translation validation for an optimizing compiler

George C. Necula
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation
PLDI '00
Vancouver, British Columbia, Canada
ACM
Pages 83-94
2000
Note(s): translation validation
Papers: pnueli:tacas:1998

Translation validation