The TXL source transformation language. TXL is a special-purpose programming language designed for creating, manipulating and rapidly prototyping language descriptions, tools and applications. TXL is designed to allow explicit programmer control over the interpretation, application, order and backtracking of both parsing and rewriting rules. Using first order functional programming at the higher level and term rewriting at the lower level, TXL provides for flexible programming of traversals, guards, scope of application and parameterized context. This flexibility has allowed TXL users to express and experiment with both new ideas in parsing, such as robust, island and agile parsing, and new paradigms in rewriting, such as XML mark-up, rewriting strategies and contextualized rules, without any change to TXL itself. This paper outlines the history, evolution and concepts of TXL with emphasis on its distinctive style and philosophy, and gives examples of its use in expressing and applying recent new paradigms in language processing.
Keywords for this software
References in zbMATH (referenced in 8 articles , 1 standard article )
Showing results 1 to 8 of 8.
- Durán, Francisco; Roldán, Manuel; Bach, Jean-Christophe; Balland, Emilie; van den Brand, Mark; Cordy, James R.; Eker, Steven; Engelen, Luc; de Jonge, Maartje; Kalleberg, Karl Trygve; Kats, Lennart C.L.; Moreau, Pierre-Etienne; Visser, Eelco: The third rewrite engines competition (2010)
- Engelen, Luc; Den Brand, Mark Van: Integrating textual and graphical modelling languages (2010)
- Güleşir, Gürcan; van den Berg, Klaas; Bergmans, Lodewijk; Akşit, Mehmet: Experimental evaluation of a tool for the verification and transformation of source code in event-driven systems (2009)
- Roy, Chanchal K.; Cordy, James R.; Koschke, Rainer: Comparison and evaluation of code clone detection techniques and tools: A qualitative approach (2009)
- Appeltauer, Malte; Kniesel, Günter: Towards concrete syntax patterns for logic-based transformation rules (2008)
- Kiyavitskaya, Nadzeya; Zannone, Nicola: Requirements model generation to support requirements elicitation: the Secure Tropos experience (2008)
- Muller, Pierre-Alain; Fondement, Frédéric; Fleurey, Franck; Hassenforder, Michel; Schnekenburger, Rémi; Gérard, Sébastien; Jézéquel, Jean-Marc: Model-driven analysis and synthesis of textual concrete syntax (2008)
- Cordy, James R.: The TXL source transformation language (2006)