Inference of Necessary Field Conditions with Abstract Interpretation
Abstract elided by the publisher.
Related papers
- Verification modulo versions: towards usable verification PLDI 2014
- From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis SAS 2010
- Stable relations and abstract interpretation of higher-order programs ICFP 2020
- noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning OOPSLA 2026
- Abstract Debugging of Higher-Order Imperative Languages PLDI 1993
- Abstract interpretation repair PLDI 2022
- Property-directed reachability as abstract interpretation in the monotone theory POPL 2022
- Gen: a general-purpose probabilistic programming system with programmable inference PLDI 2019