Formalizing the LLVM intermediate representation for verified program transformations
Top Cited Papers
Open Access
- 25 January 2012
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 47 (1) , 427-440
Abstract
No abstract availableKeywords
This publication has 27 references indexed in Scilit:
- ARMor2011
- Preliminary latent image tests by NISTBiometric Technology Today, 2010
- Formal Verification of Coalescing Graph-Coloring Register AllocationLecture Notes in Computer Science, 2010
- A Formally Verified Compiler Back-endJournal of Automated Reasoning, 2009
- Formal Functional Verification of Device Drivers2008
- Engineering formal metatheory2008
- Ott2007
- A machine-checked model for a Java-like language, virtual machine, and compilerACM Transactions on Programming Languages and Systems, 2006
- Efficiently computing static single assignment form and the control dependence graphACM Transactions on Programming Languages and Systems, 1991
- A unified approach to global program optimization1973