Fusing logic and control with local transformations: an example optimization
From MaRDI portal
Recommendations
Cites work
- A transformation-based optimiser for Haskell
- Building program optimizers with rewriting strategies
- Deforestation: Transforming programs to eliminate trees
- scientific article; zbMATH DE number 1722718 (Why is no real title available?)
- scientific article; zbMATH DE number 236855 (Why is no real title available?)
- Warm fusion in Stratego: A case study in generation of program transformation systems
Cited in
(7)- Typed generic traversal with term rewriting strategies
- Warm fusion in Stratego: A case study in generation of program transformation systems
- A survey of strategies in rule-based program transformation systems
- A survey of rewriting strategies in program transformation systems
- Strategies for source-to-source constant propagation
- Fission for Program Comprehension
- scientific article; zbMATH DE number 2087588 (Why is no real title available?)
This page was built for publication: Fusing logic and control with local transformations: an example optimization
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2841226)
