Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules
Abstract elided by the publisher.
Related papers
- FORTE: Online DataFrame Query Optimizer CGO 2026
- Gadgets Splicing: Dynamic Binary Transformation for Precise Rewriting CGO 2022
- Shoggoth: A Formal Foundation for Strategic Rewriting POPL 2024
- Rewrite rule inference using equality saturation OOPSLA 2021
- Operational Semantics-Directed Compilers and Machine Architectures TOPLAS 1994
- Building Program Optimizers with Rewriting Strategies ICFP 1998
- Deriving efficient program transformations from rewrite rules ICFP 2021
- Strategic tree rewriting in attribute grammars SLE 2020