| TXL is a programming language and rapid prototyping system specifically designed to support source analysis and transformation tasks. The TXL programming language is unique in that it is has a pure functional superstructure that provides scoping, abstraction, parameterization and recursion, over Prolog-like structural rewriting rules providing pattern search, unification and implicit iteration. TXL is particularly well suited to tasks that involve structural analysis and transformation of formal notations such as programming languages, specification languages, and structured documents in languages such as XML and HTML. |