Complete Monitors for Behavioral Contracts
No abstract available.
Related papers
- Contracts for first-class modules DLS 2009
- Soft contract verification ICFP 2014
- Consolidating Smart Contracts with Behavioral Contracts PLDI 2024
- Complete monitors for gradual types OOPSLA 2019
- Higher order symbolic execution for contract verification and refutation JFP 2017
- Option contracts OOPSLA 2013
- Soft contract verification for higher-order stateful programs POPL 2018
- Expressing contract monitors as patterns of communication ICFP 2015