• Mark Evans (12/12) Feb 18 2003 http://www.txl.ca/index.html

Mark Evans <Mark_member pathlink.com> writes:

http://www.txl.ca/index.html

"TXL is a generalized source-to-source translation system suitable for
prototyping computer language processes of any kind. It has been used in rapid
prototyping of new programming, specification and command languages, as well as
in a wide range of software engineering and optimization tasks.

"TXL takes as input an arbitrary context-free grammar in BNF-like notation, and
a set of show-by-example transformation rules to be applied to inputs parsed
using the grammar.

"TXL automatically parses inputs in the language described by the grammar, no
matter if ambiguous or recursive, and then successively applies the
transformation rules to the parsed input until they fail, producing as output
the transformed source."