Abstract Interpretation Based Static Analysis Parameterized by Semantics
Abstract elided by the publisher.
Related papers
- Monadic abstract interpreters PLDI 2013
- Practical memory leak detector based on parameterized procedural summaries ISMM 2008
- Abstract parsing for two-staged languages with concatenation GPCE 2009
- Call-Guarded Abstract Definitional Interpreters ICFP 2025
- Abstract Interpretation-Based Static Analysis of Mobile Ambients SAS 2001
- Compositional soundness proofs of abstract interpreters ICFP 2018
- Class analyses as abstract interpretations of trace semantics TOPLAS 2003
- Abstract Interpretation with Confidence: Quantifying the Precision of Dataflow Analysis with Probabilities PLDI 2026