Towards Generation of Efficient Transformations
Abstract elided by the publisher.
Related papers
- Efficient Demand-Driven Evaluation - Part 1 TOPLAS 1985
- Alloy: fast generic transformations for Haskell Haskell 2009
- Total Correctness by Local Improvement in Program Transformation POPL 1995
- Incremental updates for efficient bidirectional transformations ICFP 2011
- Combinators for Program Generation JFP 1999
- Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations OOPSLA 2016
- Transforming High-Level Data-Parallel Programs into Vector Operations PPoPP 1993
- Eating our own dog food: DSLs for generative and transformational engineering GPCE 2009