An Extensible Meta-Model for Program Analysis
IEEE Transactions on Software Engineering
A Practical Evaluation of Using TXL for Model Transformation
Software Language Engineering
Bridging concrete and abstract syntaxes in model-driven engineering: a case of rule languages
Software—Practice & Experience
Hi-index | 0.00 |
TXL is a functional programming language specifically designed for expressing source transformation tasks. Originally designed for the rapid prototyping of modest syntactic enhancements, in recent years it has been extensively used in large scale source code analysis and reengineering applications that are much more challenging. As a result, many common programming techniques needed in these larger scale applications are difficult or impossible to express in TXL. Examples include multi-way decisions, generic rules and functions, polymorphism and information hiding. In this paper we introduce ETXL, an experimental extension of TXL which includes convenient features designed to address these issues. Designed to be a compatible variant that remains faithful to the original TXL syntax and semantics, ETXL has itself been prototyped as a source transformation to original TXL.