Enforcing Resource Bounds via Static Verification of Dynamic Checks
No abstract available.
Related papers
- Enforcing resource bounds via static verification of dynamic checks TOPLAS 2007
- Linear capabilities for fully abstract compilation of separation-logic-verified code ICFP 2019
- Linear capabilities for fully abstract compilation of separation-logic-verified code JFP 2021
- Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs PLDI 2019
- Resource Bound Certification POPL 2000
- EffectiveSan: type and memory error detection using dynamically typed C/C++ PLDI 2018
- Dynamic space limits for Haskell PLDI 2014
- Hybrid type checking POPL 2006