Searching for "Translation validation for an optimizing compiler." – sorted by Relevance.
-
Translation Validation for an Optimizing Compiler
- and Implementation, Vancouver 2000, pages 83-95 Translation Validation for an Optimizing Compiler George C. Necula
- Cited by 100 (6 self) – Add To MetaCart
-
VOC: A methodology for the translation validation of optimizing compilers
- VOC: A Methodology for the Translation Validation of Optimizing Compilers Lenore Zuck New York
- Cited by 7 (1 self) – Add To MetaCart
-
TVOC: A Translation Validator for Optimizing Compilers
- Translation Validation of Optimizing Compilers by Yi Fang A dissertation submitted in partial
- Cited by 9 (1 self) – Add To MetaCart
-
VOC: A Translation Validator for Optimizing Compilers
- COCV'02 Preliminary Version VOC: A Translation Validator for Optimizing Compilers 1;2 Lenore Zuck
- Cited by 17 (3 self) – Add To MetaCart
-
Translation and Run-Time Validation of Optimized Code
- ultimate goal is to develop a methodology for the translation validation of advanced optimizing compilers
- Cited by 5 (1 self) – Add To MetaCart
-
Validation of Optimizing Compilers
- . The paper presents a methodology for translation validation of optimizing compilers. We distinguish between
- Cited by 5 (2 self) – Add To MetaCart
-
unknown title
- -producing decision procedure for HOL Light [10]; a verification tool for C programs [8], a trans-lation validator
- Add To MetaCart

