Managing Proofs (Abstract)
No abstract available.
Related papers
- Compositional soundness proofs of abstract interpreters ICFP 2018
- xmonad in Coq (experience report): programming a window manager in a proof assistant Haskell 2012
- Typed Memory Management in a Calculus of Capabilities POPL 1999
- Code Generation via Meta-programming in Dependently Typed Proof Assistants ESOP 2026
- Atomicity Refinement for Verified Compilation TOPLAS 2014
- Safe Deferred Memory Reclamation with Types ESOP 2019
- Atomicity refinement for verified compilation PLDI 2014
- The Complex(ity) Landscape of Checking Infinite Descent POPL 2024