Reversing Abstract Interpretations
No abstract available.
DOI 10.1007/3-540-55253-7_16
Related papers
- Reverse Template Processing Using Abstract Interpretation SAS 2023
- Reversible Object-Oriented Interpreters ECOOP 1987
- Reverse Interpretation + Mutation Analysis = Automatic Retargeting PLDI 1997
- Temporal Abstract Interpretation POPL 2000
- A computational interpretation of compact closed categories: reversible programming with negative and fractional types POPL 2021
- Staging Automatic Differentiation with Fusion Haskell 2025
- Quantum information effects POPL 2022
- Abstraction Modulo Stability for Reverse Engineering CAV 2022