Fusing logic and control with local transformations: an example optimization
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1722718 (Why is no real title available?)
- scientific article; zbMATH DE number 236855 (Why is no real title available?)
- A transformation-based optimiser for Haskell
- Building program optimizers with rewriting strategies
- Deforestation: Transforming programs to eliminate trees
- Warm fusion in Stratego: A case study in generation of program transformation systems
Cited in
(7)- Warm fusion in Stratego: A case study in generation of program transformation systems
- Fission for Program Comprehension
- Typed generic traversal with term rewriting strategies
- A survey of rewriting strategies in program transformation systems
- Strategies for source-to-source constant propagation
- A survey of strategies in rule-based program transformation systems
- 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)
