Imperative Program Transformation by Rewriting
Abstract elided by the publisher.
Related papers
- Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation SAS 2013
- Verified tensor-program optimization via high-level scheduling rewrites POPL 2022
- Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code ICFP 2015
- Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies ICFP 2020
- Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules CC 2005
- WebRobot: web robotic process automation using interactive programming-by-demonstration PLDI 2022
- How to Uniformly Specify Program Analysis and Transformation with Graph Rewrite Systems CC 1996
- Transformation techniques for context-sensitive rewrite systems JFP 2004