Modular Verification of Higher-Order Functional Programs
Abstract elided by the publisher.
Related papers
- Distributed causal memory: modular specification and verification in higher-order distributed separation logic POPL 2021
- Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency ICFP 2013
- Iris-Wasm: Robust and Modular Verification of WebAssembly Programs PLDI 2023
- Modular verification of higher-order methods with mandatory calls specified by model programs OOPSLA 2007
- Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic PLDI 2026
- Soft contract verification for higher-order stateful programs POPL 2018
- Modular specification and verification of closures in Rust OOPSLA 2021
- Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types ECOOP 2021