Approximate Fixed Points in Abstract Interpretation
Abstract elided by the publisher.
Related papers
- Abstract Interpretation of Supermodular Games SAS 2016
- Abstract satisfaction POPL 2014
- Backward Analysis via over-Approximate Abstraction and under-Approximate Subtraction SAS 2014
- Types as Abstract Interpretations POPL 1997
- Fixed Points and Frontiers: A New Perspective JFP 1991
- Abstract Interpretation with Unfoldings CAV 2017
- Inductive Definitions, Semantics and Abstract Interpretation POPL 1992
- Bounded Fixed Point Iteration POPL 1992