TXL programming language
Appearance
TXL is a specialized programming language designed for software analysis and source to source transformation. It is a hybrid functional / rule-based language with unification, implied iteration and deep pattern match.
Origin
TXL stands for "Turing eXtender Language", as its initial purpose was to extend the Turing programming language to support new language features.
The original TXL was designed by Charles Halpern-Hamu and James Cordy at the University of Toronto in 1985. The first practical implementations were developed at Queen's University between 1986 and 1988. The modern TXL language was designed and implemented by James Cordy at GMD Karlsruhe and Queen's University between 1990 and 1995.
External links
- TXL home page
- J. Cordy, TXL - A Language for Programming Language Tools and Applications, LDTA 2004 Proceedings