TrfL

Transformation Language

TrfL is a rule based language designed for program transformations. For the end-user, TrfL is intended to support both direct manipulation in an interactive setting and automated execution in a stand-alone context.
For the designer, the TrfL language features a high-level expressive power based on powerful patterns, pre-conditions and post-actions, access to contextual information such as symbol tables or dataflow graphs, and functional composition of transformations.

Description of the language

Some examples