Open Modules: Modular Reasoning About Advice
Abstract elided by the publisher.
Related papers
- MRI: Modular reasoning about interference in incremental programming JFP 2012
- Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs ICFP 2025
- Verification of parameterized concurrent programs by modular reasoning about data and control POPL 2012
- Modular Reasoning about Global Variables and Their Initialization OOPSLA 2025
- MAO: Ownership and Effects for More Effective Reasoning About Aspects ECOOP 2007
- Backpack: retrofitting Haskell with interfaces POPL 2014
- Harmless advice POPL 2006
- Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules POPL 2024