Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Turing programming language: design and definition
The Turing programming language: design and definition
The Turing programming language
Communications of the ACM
Algebraic specification
Q'Nial: a portable interpreter for the nested interactive array language, Nial
Software—Practice & Experience
Communications of the ACM
TXL: a rapid prototyping system for programming language dialects
Computer Languages
ANTLR: a predicated-LL(k) parser generator
Software—Practice & Experience
The psychology of computer programming (silver anniversary ed.)
The psychology of computer programming (silver anniversary ed.)
Compiling language definitions: the ASF+SDF compiler
ACM Transactions on Programming Languages and Systems (TOPLAS)
Recognizing Mathematical Expressions Using Tree Transformation
IEEE Transactions on Pattern Analysis and Machine Intelligence
RIGAL - a Programming Language for Compiler Writing
Baltic Computer Science, Selected Papers
Parallel Support for Source Code Analysis and Modification
SCAM '02 Proceedings of the Second IEEE International Workshop on Source Code Analysis and Manipulation
WCRE '98 Proceedings of the Working Conference on Reverse Engineering (WCRE'98)
Generating Robust Parsers using Island Grammars
WCRE '01 Proceedings of the Eighth Working Conference on Reverse Engineering (WCRE'01)
Applying Compiler Techniques to Diagram Recognition
ICPR '02 Proceedings of the 16 th International Conference on Pattern Recognition (ICPR'02) Volume 3 - Volume 3
Using Design Recovery Techniques to Transform Legacy Systems
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Building Documentation Generators
ICSM '99 Proceedings of the IEEE International Conference on Software Maintenance
Generalized Selective XML Markup of Source Code Using Agile Parsing
IWPC '03 Proceedings of the 11th IEEE International Workshop on Program Comprehension
Processing Software Source Text in Automated Design Recovery and Transformation
IWPC '01 Proceedings of the 9th International Workshop on Program Comprehension
Automated Software Engineering
LISP 1.5 Programmer's Manual
Using source transformation to test and model check implicit-invocation systems
Science of Computer Programming - Special issue on source code analysis and manipulation (SCAM 2005)
Case study: Re-engineering C++ component models via automatic program transformation
Information and Software Technology
Fusing a Transformation Language with an Open Compiler
Electronic Notes in Theoretical Computer Science (ENTCS)
Stratego/XT 0.17. A language and toolset for program transformation
Science of Computer Programming
Domain specific language implementation via compile-time meta-programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Computer Languages, Systems and Structures
Cerno: Light-weight tool support for semantic annotation of textual documents
Data & Knowledge Engineering
Automated generation of program translation and verification tools using annotated grammars
Science of Computer Programming
Applying software analysis technology to lightweight semantic markup of document text
ICAPR'05 Proceedings of the Third international conference on Advances in Pattern Recognition - Volume Part I
Towards the profiling of scientific software for accuracy
Proceedings of the 2011 Conference of the Center for Advanced Studies on Collaborative Research
Composing transformations for instrumentation and optimization
PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation
Applications of the ASF+SDF meta-environment
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Agile parsing to transform web applications
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Text mining through semi automatic semantic annotation
PAKM'06 Proceedings of the 6th international conference on Practical Aspects of Knowledge Management
Science of Computer Programming
Hi-index | 0.00 |
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, strategies, 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 markup, rewriting strategies and contextualized rules, without any change to TXL itself. In this paper I outline the history, evolution and concepts of TXL with emphasis on what makes it different from other language manipulation tools, and give examples of its use in expressing and applying recent new paradigms in language processing.