Searching for "Translation validation for an optimizing compiler." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
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
Showing 1 through 7.
