A Debugger-Cooperative Higher-Order Contract System in Python
No abstract available.
Related papers
- Temporal higher-order contracts ICFP 2011
- Blame assignment for higher-order contracts with intersection and union ICFP 2015
- TreatJS: Higher-Order Contracts for JavaScripts ECOOP 2015
- Contracts for higher-order functions ICFP 2002
- Modular set-based analysis from contracts POPL 2006
- Higher order symbolic execution for contract verification and refutation JFP 2017
- Whip: higher-order contracts for modern services ICFP 2017
- Higher-order symbolic execution via contracts OOPSLA 2012