Tree Transformation Language.
A hybrid functional language and rule-based language by Jim R. Cordy <cordy@qucis.queensu.ca> et al of Queen's University, Canada in 1988. TXL is suitable for performing source to source transformations and for rapidly prototyping new languages and language processors. It uses structural transformation.
It has also been used to prototype specification languages, command languages, and more traditional program transformation tasks such as constant folding, type inference, source optimisation and reverse engineering. TXL takes as input an arbitrary context-free grammar in extended BNF-like notation, and a set of show-by-example transformation rules to be applied to inputs parsed using the grammar.
Version 7.4. Source in ANSI C.
["TXL: A Rapid Prototyping System for Programming Language Dialects", J.R. Cordy et al, Comp Langs 16(1) (Jan 1991)].
["Specification and Automatic Prototype Implementation of Polymorphic Objects in Turing Using the TXL Dialect Processor", J.R. Cordy & E.M. Promislow, Proc IEEE Intl Conf on Comp Lang ICCL'90 (Mar 1990)].
(04 Aug 1993)