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.
-- MaratBoshernitsan - 19 Apr 2004