Modular reasoning about concurrent higher-order imperative programs
Abstract
No abstract available.
Related papers
- Mechanized relational verification of concurrent programs with continuations ICFP 2019
- Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs ICFP 2025
- Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement POPL 2024
- Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems ESOP 2020
- Small bisimulations for reasoning about higher-order imperative programs POPL 2006
- Lilo: A Higher-Order, Relational Concurrent Separation Logic for Liveness OOPSLA 2025
- Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency ICFP 2013
- Mixtris: Mechanised Higher-Order Separation Logic for Mixed Choice Multiparty Message Passing OOPSLA 2026