Program Transformation with Stratego/XT

This publication has 17 references indexed in Scilit:

• Design of the CodeBoost transformation system for domain-specific optimisation of C++ programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
• Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax
  Published by Springer Nature ,2004
• Term rewriting with traversal functions
  ACM Transactions on Software Engineering and Methodology, 2003
• Cost-effective maintenance tools for proprietary languages
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Maude: specification and programming in rewriting logic
  Theoretical Computer Science, 2002
• Rewriting Strategies for Instruction Selection
  Published by Springer Nature ,2002
• Source Tree Composition
  Published by Springer Nature ,2002
• Efficient annotated terms
  Software: Practice and Experience, 2000
• The TAMPR Program Transformation System: Simplifying the Development of Numerical Software
  Published by Springer Nature ,1997
• The syntax definition formalism SDF—reference manual—
  ACM SIGPLAN Notices, 1989