The TAMPR program transformation system: simplifying the development of numerical software

Do You Trust Your Compiler?

Computer

Transformations to Restructure and Re–engineer COBOL Programs

Automated Software Engineering

Transformation in Intentional Programming

ICSR '98 Proceedings of the 5th International Conference on Software Reuse

Program Transformation with Scoped Dynamic Rewrite Rules

Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2

Design patterns for library optimization

Scientific Programming - POOSC '01 Workshop

A projection-based optimization framework for abstractions with application to the unstructured mesh domain

Proceedings of the 22nd annual international conference on Supercomputing

Stratego/XT 0.17. A language and toolset for program transformation

Science of Computer Programming

Equality saturation: a new approach to optimization

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Axiom-Based Transformations: Optimisation and Testing

Electronic Notes in Theoretical Computer Science (ENTCS)

A survey of strategies in rule-based program transformation systems

Journal of Symbolic Computation

Program transformation using HATS 1.84

GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering

Program Transformation with Scoped Dynamic Rewrite Rules

Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2