Incremental Instance Generation in Local Reasoning
No abstract available.
DOI 10.1007/978-3-642-02658-4_29
Related papers
- JavaDL: automatically incrementalizing Java bug pattern detection OOPSLA 2021
- Virtual Copies - At the Boundary Between Classes and Instances OOPSLA 1986
- Incremental Analysis of real Programming Languages PLDI 1997
- Incremental Search for Conflict and Unit Instances of Quantified Formulas with E-Matching VMCAI 2021
- Composable, sound transformations of nested recursion and loops PLDI 2019
- An approach to incremental compilation PLDI 1984
- Real-time Proof Checking for Distributed Incremental SAT Solving TACAS 2026
- UniRec: a unimodular-like framework for nested recursions and loops OOPSLA 2022