Abstract Interpretation from a Topological Perspective
Abstract elided by the publisher.
Related papers
- Relating Distances and Abstractions - An Abstract Interpretation Perspective SAS 2025
- An Abstract Interpretation Perspective on Linear vs. Branching Time APLAS 2005
- Formal Abstractions for Packet Scheduling OOPSLA 2023
- Taming and Dissecting Recursions Through Interprocedural Weak Topological Ordering ECOOP 2025
- Fixed Points and Frontiers: A New Perspective JFP 1991
- Abstract Interpretation with Specialized Definitions SAS 2006
- A parallel abstract interpreter for JavaScript CGO 2015
- Deterministic parallel fixpoint computation POPL 2020