TXL

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.


References in zbMATH (referenced in 17 articles , 1 standard article )

Showing results 1 to 17 of 17.
Sorted by year (citations)

  1. Besova, Galina; Steenken, Dominik; Wehrheim, Heike: Grammar-based model transformations: definition, execution, and quality properties (2015)
  2. Söderberg, Emma; Hedin, Görel: Declarative rewriting through circular nonterminal attributes (2015)
  3. Zanibbi, Richard; Orakwue, Awelemdy: Math search for the masses: multimodal search interfaces and appearance-based retrieval (2015)
  4. Dinkelaker, Tom; Eichberg, Michael; Mezini, Mira: Incremental concrete syntax for embedded languages with support for separate compilation (2013) ioport
  5. 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)
  6. Ordóñez Camacho, Diego; Mens, Kim; van den Brand, Mark; Vinju, Jurgen: Automated generation of program translation and verification tools using annotated grammars (2010)
  7. 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) ioport
  8. Roy, Chanchal K.; Cordy, James R.; Koschke, Rainer: Comparison and evaluation of code clone detection techniques and tools: A qualitative approach (2009)
  9. Appeltauer, Malte; Kniesel, Günter: Towards concrete syntax patterns for logic-based transformation rules (2008) ioport
  10. Kiyavitskaya, Nadzeya; Zannone, Nicola: Requirements model generation to support requirements elicitation: the Secure Tropos experience (2008) ioport
  11. 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) ioport
  12. Walenstein, Andrew; Mathur, Rachit; Chouchane, Mohamed R.; Lakhotia, Arun: Constructing malware normalizers using term rewriting. (2008) ioport
  13. Bazilio, Carlos; Haeusler, Edward Hermann; Endler, Markus: Language-oriented formal analysis: a case study on protocols and distributed systems (2007)
  14. Waddington, Daniel; Yao, Bin: High-fidelity C/C++ code transformation (2007)
  15. Cordy, James R.: The TXL source transformation language (2006)
  16. Veerman, Niels: Automated mass maintenance of a software portfolio (2006)
  17. Visser, Eelco: A survey of strategies in rule-based program transformation systems (2005)