Automatic Inference of Relational Object Invariants
No abstract available.
Related papers
- Inferring frame conditions with static correlation analysis POPL 2019
- Automatic Inference of Class Invariants VMCAI 2004
- Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates APLAS 2010
- Alias annotations for program understanding OOPSLA 2002
- Bridging Arrays and ADTs in Recursive Proofs TACAS 2021
- Inferring Inductive Invariants from Phase Structures CAV 2019
- Counterexample-guided focus POPL 2010
- SLING: using dynamic analysis to infer program invariants in separation logic PLDI 2019