TXL swMATH ID: 11319 Software Authors: Cordy, James R. Description: 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. Homepage: http://www.sciencedirect.com/science/article/pii/S0167642306000669 Keywords: source transformation; functional programming; term rewriting; grammars Related Software: Stratego; ASF+SDF; JastAdd; ANTLR; Haskell; Tom; Maude; RACR; EMorF; AGG; MathWebSearch; CC4J; SugarJ; Spoofax; Polyglot; NuSMV; SPIN; IF-2.0; Autoconf; Check Cited in: 13 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year The TXL source transformation language. Zbl 1102.68434Cordy, James R. 2006 all top 5 Cited by 36 Authors 3 Cordy, James R. 2 van den Brand, Mark G. J. 2 Visser, Eelco 1 Bach, Jean-Christophe 1 Balland, Emilie 1 Bazilio, Carlos 1 Besova, Galina 1 Dan, Haitao 1 de Jonge, Maartje 1 Durán, Francisco 1 Eker, Steven 1 Endler, Markus 1 Engelen, Luc 1 Haeusler, Edward Hermann 1 Hedin, Görel 1 Hierons, Robert Mark 1 Kalleberg, Karl Trygve 1 Kats, Lennart C. L. 1 Koschke, Rainer 1 Mens, Kim 1 Moreau, Pierre-Etienne 1 Nuno Macedo, José 1 Orakwue, Awelemdy 1 Ordóñez Camacho, Diego 1 Roldán, Manuel 1 Roy, Chanchal K. 1 Saraiva, João Tomé 1 Söderberg, Emma 1 Steenken, Dominik 1 Veerman, Niels 1 Viera, Marcos 1 Vinju, Jurgen J. 1 Waddington, Daniel 1 Wehrheim, Heike 1 Yao, Bin 1 Zanibbi, Richard Cited in 3 Serials 6 Science of Computer Programming 2 Computer Languages, Systems & Structures 1 Journal of Symbolic Computation Cited in 1 Field 13 Computer science (68-XX) Citations by Year