Splice: Aspects That Analyze Programs
Abstract elided by the publisher.
Related papers
- Gadgets Splicing: Dynamic Binary Transformation for Precise Rewriting CGO 2022
- Higher-Order Code Splicing ESOP 1999
- Multi-stage Programming with Splice Variables ICFP 2025
- Automatically enhancing locality for tree traversals with traversal splicing OOPSLA 2012
- Fluid quotes: metaprogramming across abstraction boundaries with dependent types GPCE 2020
- Verifying Reachability Invariants of Linked Structures POPL 1983
- Program refactoring using functional aspects GPCE 2008
- Let It Be Optimized: Building Multi-stage Evaluators with Let-Insertion and Optimizations in Small Pieces (Functional Pearl) ICFP 2026