Abstract Interpretation: A Theory of Approximate Computation
No abstract available.
Related papers
- Quantum Entanglement Analysis Based on Abstract Interpretation SAS 2008
- A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs TOPLAS 1993
- Abstract Interpretation of Supermodular Games SAS 2016
- Abstract Interpretation of Reactive Systems TOPLAS 1997
- A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models CGO 2009
- Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints POPL 1977
- Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis POPL 2022
- Principality and approximation under dimensional bound POPL 2019