21 lines
775 B
Text
21 lines
775 B
Text
|
TXL is a unique programming language specifically designed to support computer
|
||
|
|
software analysis and source transformation tasks. It is the evolving result
|
||
|
|
of more than fifteen years of concentrated research on rule-based structural
|
||
|
|
transformation as a paradigm for the rapid solution of complex computing
|
||
|
|
problems.
|
||
|
|
|
||
|
|
The TXL programming language is a hybrid functional / rule-based language with
|
||
|
|
unification, implied iteration and deep pattern match.
|
||
|
|
|
||
|
|
Each TXL program has two components:
|
||
|
|
|
||
|
|
* A Description of the Structures to be Transformed
|
||
|
|
Specified as an EBNF grammar, in context-free ambiguous form.
|
||
|
|
|
||
|
|
* A Set of Structural Transformation Rules
|
||
|
|
Specified by example, using pattern/replacement pairs.
|
||
|
|
|
||
|
|
WWW: http://www.txl.ca/
|
||
|
|
|
||
|
|
- Ryan Thompson <ryan@sasknow.com>
|