Relating Distances and Abstractions - An Abstract Interpretation Perspective
No abstract available.
Related papers
- Abstract Interpretation from a Topological Perspective SAS 2009
- An Abstract Interpretation Perspective on Linear vs. Branching Time APLAS 2005
- Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis POPL 2022
- Fixed Points and Frontiers: A New Perspective JFP 1991
- Abstract Interpretation with Specialized Definitions SAS 2006
- A parallel abstract interpreter for JavaScript CGO 2015
- Spatiotemporal Robustness of Temporal Logic Tasks Using Multi-Objective Reasoning CAV 2026
- Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions VMCAI 2017