Mechanized Verification of Computing Dominators for Formalizing Compilers
No abstract available.
DOI 10.1007/978-3-642-35308-6_6
Related papers
- Mechanized Dominator Tree Certification CPP 2026
- Unifying Compositional Verification and Certified Compilation with a Three-Dimensional Refinement Algebra POPL 2025
- Contification Using Dominators ICFP 2001
- Formal verification of object layout for c++ multiple inheritance POPL 2011
- Formal Pervasive Verification of a Paging Mechanism TACAS 2008
- Formal verification of a constant-time preserving C compiler POPL 2020
- Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors PLDI 2011
- Prospects for Computer Formalization of Infinite-Dimensional Category Theory (Invited Talk) CPP 2025