Jump to content

TXL programming language

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Mangoshake (talk | contribs) at 22:30, 9 February 2006. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

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.