Equality-Based Translation Validator for LLVM
- 1 January 2011
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Evaluating value-graph translation validation for LLVMPublished by Association for Computing Machinery (ACM) ,2011
- Generating compiler optimizations from proofsPublished by Association for Computing Machinery (ACM) ,2010
- Equality saturationACM SIGPLAN Notices, 2009
- Z3: An Efficient SMT SolverLecture Notes in Computer Science, 2008
- Simplify: a theorem prover for program checkingJournal of the ACM, 2005
- Translation validationLecture Notes in Computer Science, 1998