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
PLDI '00
Vancouver, British Columbia, Canada
ACM
Pages 83-94
2000
Note(s): translation validation
Papers: pnueli:tacas:1998