Txl reference manuals & documentation Reference manuals User's Guide to the TXL Compiler/Interpreter, Version 10.6 (July 2012) TXL Error Messages (what they mean, and what to do about them), Version 10.6 (July 2012) Guide to TXL Built-in Functions, Version 10.6 (July 2012) Introductions & learning materials Working with Grammars Transformation Paradigms TXL Coding Conventions Selected academic bibliography A. Thurston and J.R. Cordy, "Evolving TXL", Proc. SCAM 2006, IEEE 6th International Workshop on Source Code Analysis and Manipulation, Philadelphia, September 2006, pp. 117-126. J.R. Cordy, "The TXL Source Transformation Language", Science of Computer Programming 61,3 (August 2006), pp. 190-210. J.R. Cordy, "Source Transformation, Analysis and Generation in TXL", Proc. PEPM'06, ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation, Charleston, South Carolina, January 2006, pp. 1-11. D. Shimozawa and J.R. Cordy, "TETE: A Non-Invasive Unit Testing Framework for Source Transformation", Post-proc. STEP 2005: 12th International Workshop on Software Technology and Engineering Practice, Budapest, September 2005, pp. 137-146. J.R. Cordy, "TXL - A Language for Programming Language Tools and Applications", Proc. LDTA 2004, ACM 4th International Workshop on Language Descriptions, Tools and Applications, Barcelona, April 2004, pp. 1-27. T.R. Dean, J.R. Cordy, A.J. Malton and K.A. Schneider, "Agile Parsing in TXL", Journal of Automated Software Engineering 10,4 (October 2003), pp. 311-336. N. Synytskyy, J.R. Cordy and T.R. Dean, "Robust Multilingual Parsing Using Island Grammars", Proc. CASCON 2003, 13th IBM Centres for Advanced Studies Conference, Toronto, October 2003, pp. 149-161. J.R. Cordy, "Generalized Selective XML Markup of Source Code Using Agile Parsing", Proc. IWPC 2003, IEEE 11th International Workshop on Program Comprehension, Portland, Oregon, May 2003, pp. 144-153. T.R. Dean, J.R. Cordy, A.J. Malton and K.A. Schneider, "Grammar Programming in TXL", Proc. SCAM'02, IEEE 2nd International Workshop on Source Code Analysis and Manipulation, Montreal, October 2002, pp. 93-102. A. da Silva Simão, T. Sugeta, J.C. Maldonado, M.C. Monard, "PROLOG & TXL: A Case Study for Prototyping Structural Testing Supporting Tools", CLEI Electronic Journal 5,1 (June 2002), 15 pp. J.R. Cordy, T.R. Dean, A.J. Malton and K.A. Schneider, "Source Transformation in Software Engineering using the TXL Transformation System", Special Issue on Source Code Analysis and Manipulation, Journal of Information and Software Technology 44,13 (October 2002), pp. 827-837. J.R. Cordy, T.R. Dean, A.J. Malton and K.A. Schneider, "Software Engineering by Source Transformation - Experience with TXL", Proc. SCAM'01, IEEE 1st International Workshop on Source Code Analysis and Manipulation, Florence, November 2001, pp. 168-178. A.J. Malton, K.A. Schneider, J.R. Cordy, T.R. Dean, D. Cousineau and J. Reynolds, "Processing Software Source Text in Automated Design Recovery and Transformation", Proc. IWPC 2001, IEEE 9th International Workshop on Program Comprehension, Toronto, May 2001, pp. 127-134. Andrew J. Malton, "The Denotational Semantics of a Functional Tree-Manipulation Language", Computer Languages 19,3 (July 1993), pp. 157-168. J.R. Cordy, C.D. Halpern and E. Promislow, "TXL: A Rapid Prototyping System for Programming Language Dialects", Computer Languages 16,1 (January 1991), pp. 97-107. J.R. Cordy, C.D. Halpern and E. Promislow, "TXL: A Rapid Prototyping System for Programming Language Dialects", Proc. IEEE 1988 International Conference on Computer Languages, October 1988, pp. 280-285.
The reference manuals and user guides for Txl and FreeTxl. All printable documents on this page are in Adobe Acrobat portable document format (PDF) form. Current version Txl 10.6 manuals - July 2012.The TXL Programming Language, Version 10.6 (July 2012)
The Txl language specification, a comprehensive reference manual for the syntax and semantics of the Txl programming language.
Describes the commands to run the FreeTxl compiler. interpreter, debugger and profiler and their options. Includes a command reference for the Txl debugger and instructions for redirectin6 and embedding Txl commands and applications in other programs and processes.
A complete list of all FreeTxl error messages and what to do about them, with detailed explanations and suggested actions.
A complete guide to the Txl built-in functions, with detailed explanations, scenarios and examples.
Stuff to help you get started learning and using Txl. Don't forget to check out the Txl Learning Page as well!A Practical Introduction to TXL
A slide show presentation by Jim Cordy of Queen's University from Txl Day 2001 that introduces the basics of practical Txl programming for software analysis and transformation tasks in a "quick start" hands-on way.
A slide show presentation by Andrew Malton of the University of Waterloo from Txl Day 2001 on the practice of crafting and working with structured grammars in Txl.
A slide show presentation by Tom Dean of Queen's University from Txl Day 2001 on paradigms for transforming across languages using Txl.
A working paper describing the evolved coding conventions for Txl programs.
Some of the many academic publications about Txl. Most papers are linked to downloadable Adobe Acrobat Reader portable document format (PDF) documents or pages where they can be found. All papers are copyright by their authors or respective publishers (IEEE, ACM, Elsevier, Springer and so on) - see the publishers' websites for copyright restrictions and definitive published versions.J.R. Cordy, "Excerpts from the TXL Cookbook", Generative and Transformational Techniques in Software Engineering, LNCS 6491, January 2011, pp. 27-91.