A New Class of Functions for Abstract Interpretation
Abstract elided by the publisher.
Related papers
- Control-flow analysis of function calls and returns by abstract interpretation ICFP 2009
- Static Inference of Properties of Applicative Programs POPL 1984
- Abstract Interpretation of Supermodular Games SAS 2016
- Abstract Interpretation by Dynamic Partitioning JFP 1992
- The Best of Abstract Interpretations POPL 2025
- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes VMCAI 2007
- Pycket: a tracing JIT for a functional language ICFP 2015
- Disjunctive Program Analysis for Algebraic Data Types TOPLAS 1997