TXL

Tree Transformation Language

J. R. Cordy et al, Queens University, Canada, 1988.

A hybrid functional/rule-based language with unification, implied iteration and deep pattern match. Intended for source-to-source translation and program transformation tasks.

"TXL: A Rapid Prototyping System for Programming Language Dialects", J. R. Cordy et al, Computer Languages 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, Proceedings of the IEEE International Conference on Computer Languages ICCL'90 (Mar 1990).