Fusing Logic and Control with Local Transformations: An Example Optimization

This publication has 10 references indexed in Scilit:

• Short Cut Fusion: Proved and Improved
  Published by Springer Nature ,2001
• Stratego: A Language for Program Transformation Based on Rewriting Strategies System Description of Stratego 0.5
  Published by Springer Nature ,2001
• An Algebraic Programming Style for Numerical Software and Its Optimization
  Scientific Programming, 2000
• Warm fusion in Stratego: A case study in generation of program transformation systems
  Annals of Mathematics and Artificial Intelligence, 2000
• A transformation-based optimiser for Haskell
  Science of Computer Programming, 1998
• Building program optimizers with rewriting strategies
  ACM SIGPLAN Notices, 1998
• A Calculational Fusion System HYLO
  Published by Springer Nature ,1997
• Compilation of functional languages by program transformation
  ACM Transactions on Programming Languages and Systems, 1991
• Deforestation: transforming programs to eliminate trees
  Theoretical Computer Science, 1990
• Realistic compilation by program transformation (detailed summary)
  Published by Association for Computing Machinery (ACM) ,1989