Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

ENTCS
2002

favoriteEmaildiscussreport

84views more ENTCS 2002»

VOC: A Translation Validator for Optimizing Compilers

13 years 4 months ago

VOC: A Translation Validator for Optimizing Compilers

Download www.cs.utah.edu

Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Gol

Real-time Traffic

ENTCS 2002 |

claim paper

Related Content

» Translation and RunTime Validation of Optimized Code

» Translation validation for an optimizing compiler

» Formal verification of translation validators a case study on instruction scheduling optim...

» Evaluating valuegraph translation validation for LLVM

» OpenUH an optimizing portable OpenMP compiler

» A simple verified validator for software pipelining

» Proving optimizations correct using parameterized program equivalence

» Symbolic transfer functionbased approaches to certified compilation

» Generating Compiler Optimizations from Proofs

Post Info
More Details (n/a)

Added	18 Dec 2010
Updated	18 Dec 2010
Type	Journal
Year	2002
Where	ENTCS
Authors	Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg

Comments (0)