The following pages link to Vellvm (Q25201):
Displaying 8 items.
- The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey (Q287277) (← links)
- LCTD: test-guided proofs for C programs on LLVM (Q338629) (← links)
- A formal semantics of the GraalVM intermediate representation (Q2147184) (← links)
- A Linear First-Order Functional Intermediate Language for Verified Compilers (Q2945646) (← links)
- Proving Termination and Memory Safety for Programs with Pointer Arithmetic (Q3192191) (← links)
- Mechanized Verification of Computing Dominators for Formalizing Compilers (Q4916051) (← links)
- Trace-Relating Compiler Correctness and Secure Compilation (Q5041085) (← links)
- (Q5875431) (← links)