Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
An efficient augmented-context-free parsing algorithm
Computational Linguistics
The Turing programming language
Communications of the ACM
Algebraic specification
TXL: a rapid prototyping system for programming language dialects
Computer Languages
Nonlinear pattern matching in trees
Journal of the ACM (JACM)
Communications of the ACM
ANTLR: a predicated-LL(k) parser generator
Software—Practice & Experience
POMIV '96 Proceedings of the DIMACS workshop on Partial order methods in verification
Recognizing Mathematical Expressions Using Tree Transformation
IEEE Transactions on Pattern Analysis and Machine Intelligence
Viewing A Program Transformation System At Work
PLILP '94 Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming
Using Design Recovery Techniques to Transform Legacy Systems
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
HSML: Design Directed Source Code Hot Spots
IWPC '01 Proceedings of the 9th International Workshop on Program Comprehension
Automated Software Engineering
Formalization of information hiding design methods
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
The CodeSurfer Software Understanding Platform
IWPC '05 Proceedings of the 13th International Workshop on Program Comprehension
Extreme Programming Explained: Embrace Change (2nd Edition)
Extreme Programming Explained: Embrace Change (2nd Edition)
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
Style normalization for canonical X-to-O mappings
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Separating testing concerns by means of models
Proceedings of the 1st Workshop on Testing Object-Oriented Systems
Excerpts from the TXL cookbook
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
SDL code generation for network simulators
SAM'10 Proceedings of the 6th international conference on System analysis and modeling: about models
Automated translation of Java source code to Eiffel
TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
Let's make refactoring tools user-extensible!
Proceedings of the Fifth Workshop on Refactoring Tools
| Hi-index | 0.00 |
The TXL transformation framework has been widely used in practical source transformation tasks in industry and academia for many years. At the core of the framework is the TXL language, a functional programming language specifically designed for expressing source transformation tasks. TXL programs are self-contained, specifying and implementing all aspects of parsing, pattern matching, transformation rules, application strategies and unparsing in a single uniform notation with no dependence on other tools or technologies. Programs are directly interpreted by the TXL processor without any compile or build step, making it particularly well suited to rapid turnaround, test-driven development. In this paper we provide a practical introduction to using TXL in rapidly developing source transformations from concrete examples, and review experience in applying TXL to a number of practical large scale applications in source code analysis, renovation and migration.