Precondition Inference from Intermittent Assertions and Application to Contracts on Collections
No abstract available.
Related papers
- An abstract interpretation framework for refactoring with application to extract methods with contracts OOPSLA 2012
- Contract Usage and Evolution in Android Mobile Applications ECOOP 2025
- Automatically enforcing fresh and consistent inputs in intermittent systems PLDI 2021
- Sufficient Preconditions for Modular Assertion Checking VMCAI 2008
- Weakest Precondition Inference for Non-Deterministic Linear Array Programs TACAS 2024
- Chain: tasks and channels for reliable intermittent programs OOPSLA 2016
- Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM PLDI 2017
- Is Sometimes Ever Better Than Alway? TOPLAS 1979