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 !
Recent comments
4 hours 54 min ago
2 weeks 1 hour ago
6 weeks 1 day ago
6 weeks 5 days ago
6 weeks 5 days ago
8 weeks 5 days ago
8 weeks 5 days ago
9 weeks 1 day ago
9 weeks 1 day ago
10 weeks 23 hours ago