Home » forums » LtU Forum

New extension for the TXL language : ETXL

What is TXL ?
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.

http://www.txl.ca/

What is ETXL ?
ETXL is the prototype implementation of the ideas developed in Adrian Thurston's Master's Thesis. He set out to update the TXL Programming Language. The prototype is itself a TXL program that transforms ETXL to pure TXL then runs the TXL engine on the result.

http://www.cs.queensu.ca/home/thurston/etxl/

For a general view of TXL
http://www.cs.queensu.ca/~cordy/Papers/Cordy_TXL_LDTA04.pdf

Adrian Thurston's Master's Thesis
http://www.cs.queensu.ca/home/thurston/evotxl-final.pdf

In a few words, it simply rocks !

By sebastien at 2005-06-02 06:41 | LtU Forum | previous forum topic | next forum topic | other blogs | 6795 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Features?

Can you summarize the differences between ETXL and TXL?

By Ehud Lamm at Thu, 2005-06-02 06:55 | login or register to post comments

ETXL provides 9 enhancements to basic TXL

Must-Match Rules
A rewrite rule must be used at least once, the user is informed if it is not the case.

Objectless Rules
Generally rules apply on sub trees, but it is not always the case. This kind of rule is now explicitly supported.

Strong Typing
Rules can now apply only on specific tree type instead of any tree type.

Nested Rules
You can declare rule inside rule.
You have better encapsulation and local variables direct access.

Rule Parameters
Rule can now take parameters, specifying for example the search strategy.

Type Parameters
It is a first step towards genericity in the rule and function implementation.

If Clauses
Explicit clause to branch among rules instead of a linear pattern matching following the order the rules are written.

Out Parameters
Allow a function to return several deconstructed nodes that can be used in the calling rule or function.

Modularity
Export and import of definitions to avoid name clashing.

This is a brief summary of the section 3 of this document :
http://www.cs.queensu.ca/home/thurston/evotxl-final.pdf

By sebastien at Thu, 2005-06-02 09:36 | login or register to post comments

Thanks!

Thanks!

By Ehud Lamm at Thu, 2005-06-02 18:16 | login or register to post comments