Reverse Template Processing Using Abstract Interpretation
No abstract available.
Related papers
- Staging Automatic Differentiation with Fusion Haskell 2025
- Reversing Abstract Interpretations ESOP 1992
- Reversible Object-Oriented Interpreters ECOOP 1987
- Partial-Evaluation Templates: Accelerating Partial Evaluation with Pre-compiled Templates CGO 2026
- 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
- Conservation of information: applications in functional, reversible, and quantum computing ICFP 2003