Certificate Translation for Optimizing Compilers
Abstract elided by the publisher.
Related papers
- Certificate translation for optimizing compilers TOPLAS 2009
- An Abstract Model of Certificate Translation TOPLAS 2011
- Symbolic transfer function-based approaches to certified compilation POPL 2004
- Certificate Translation in Abstract Interpretation ESOP 2008
- Generalized Certificate Revocation POPL 2000
- Mechanized Dominator Tree Certification CPP 2026
- Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints TACAS 2020
- Formal certification of a compiler back-end or: programming a compiler with a proof assistant POPL 2006