ea25dbefac
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. PR: ports/54617 Submitted by: Ryan Thompson <ryan@sasknow.com>
20 lines
775 B
Text
20 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>
|