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: 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
Nonlinear pattern matching in trees
Journal of the ACM (JACM)
Towards increased productivity of algorithm implementation
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
ANTLR: a predicated-LL(k) parser generator
Software—Practice & Experience
Grammar transformations for optimizing backtrack parsers
Computer Languages
World Wide Web Journal - Special issue on XML: principles, tools, and techniques
Building program optimizers with rewriting strategies
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
The Psychology of Computer Programming
The Psychology of Computer Programming
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
Disambiguation Filters for Scannerless Generalized LR Parsers
CC '02 Proceedings of the 11th International Conference on Compiler Construction
Viewing A Program Transformation System At Work
PLILP '94 Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming
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
Term rewriting with traversal functions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated Software Engineering
Polynomial time parsing of Combinatory Categorial Grammars
ACL '90 Proceedings of the 28th annual meeting on Association for Computational Linguistics
LISP 1.5 Programmer's Manual
Program Transformation with Scoped Dynamic Rewrite Rules
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
A backtracking LR algorithm for parsing ambiguous context-dependent languages
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
STAC: software tuning panels for autonomic control
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
A case study in re-engineering to enforce architectural control flow and data sharing
Journal of Systems and Software
CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
Extracting rights and obligations from regulations: toward a tool-supported process
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
The JastAdd system — modular extensible compiler construction
Science of Computer Programming
On the conformity of models: a transducer-based approach for model transformation
Proceedings of the 2008 ACM symposium on Applied computing
Towards a mutation-based automatic framework for evaluating code clone detection tools
Proceedings of the 2008 C3S2E conference
Requirements model generation to support requirements elicitation: the Secure Tropos experience
Automated Software Engineering
Annotation refactoring: inferring upgrade transformations for legacy applications
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Towards Concrete Syntax Patterns for Logic-based Transformation Rules
Electronic Notes in Theoretical Computer Science (ENTCS)
WebDSL: A Case Study in Domain-Specific Language Engineering
Generative and Transformational Techniques in Software Engineering II
Object-oriented transformations for extracting aspects
Information and Software Technology
Automating the Extraction of Rights and Obligations for Regulatory Compliance
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Remote software protection by orthogonal client replacement
Proceedings of the 2009 ACM symposium on Applied Computing
Comparison and evaluation of code clone detection techniques and tools: A qualitative approach
Science of Computer Programming
Generating Rewritable Abstract Syntax Trees
Software Language Engineering
A Practical Evaluation of Using TXL for Model Transformation
Software Language Engineering
Discovering and representing systematic code changes
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
A verification framework for access control in dynamic web applications
C3S2E '09 Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering
Recovering structured data types from a legacy data model with overlays
Information and Software Technology
Empirical Software Engineering
White-Box Evaluation of Computer Vision Algorithms through Explicit Decision-Making
ICVS '09 Proceedings of the 7th International Conference on Computer Vision Systems: Computer Vision Systems
An empirical evaluation of a language-based security testing technique
CASCON '09 Proceedings of the 2009 Conference of the Center for Advanced Studies on Collaborative Research
A survey on transformation tools for model based user interface development
HCI'07 Proceedings of the 12th international conference on Human-computer interaction: interaction design and usability
Migrating legacy data structures based on variable overlay to Java
Journal of Software Maintenance and Evolution: Research and Practice - Working Conference on Reverse Engineering (WCRE 2008)
Integrating Textual and Graphical Modelling Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Toolchain-independent variant management with the Leviathan filesystem
FOSD '10 Proceedings of the 2nd International Workshop on Feature-Oriented Software Development
Refactoring references for library migration
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Linguistic security testing for text communication protocols
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
The third rewrite engines competition
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Excerpts from the TXL cookbook
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Model driven language engineering with kermeta
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
EASY meta-programming with Rascal
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Code transformations for embedded reconfigurable computing architectures
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Some issues in the 'archaeology' of software evolution
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Language convergence infrastructure
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Towards web services tagging by similarity detection
The smart internet
Incremental concrete syntax for embedded languages
Proceedings of the 2011 ACM Symposium on Applied Computing
Analyzing web service similarity using contextual clones
Proceedings of the 5th International Workshop on Software Clones
Towards web services tagging by similarity detection
The smart internet
Higher-order transformations with nested concrete syntax
Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications
LDT: a language definition technique
Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications
Systematic editing: generating program transformations from an example
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
SDL code generation for network simulators
SAM'10 Proceedings of the 6th international conference on System analysis and modeling: about models
Sydit: creating and applying a program transformation from an example
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
A model-driven framework for aspect weaver construction
Transactions on aspect-oriented software development VIII
Domain-specific engineering of domain-specific languages
Proceedings of the 10th Workshop on Domain-Specific Modeling
Towards learning to detect meaningful changes in software
Proceedings of the International Workshop on Machine Learning Technologies in Software Engineering
Language boxes: bending the host language with modular language changes
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Tree based domain-specific mapping languages
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
Specifying and detecting meaningful changes in programs
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Scripting a refactoring with Rascal and Eclipse
Proceedings of the Fifth Workshop on Refactoring Tools
Recovering role-based access control security models from dynamic web applications
ICWE'12 Proceedings of the 12th international conference on Web Engineering
Systematizing pragmatic software reuse
ACM Transactions on Software Engineering and Methodology (TOSEM)
A lightweight approach to semantic annotation of research papers
NLDB'07 Proceedings of the 12th international conference on Applications of Natural Language to Information Systems
Connectivity of co-changed method groups: a case study on open source systems
CASCON '12 Proceedings of the 2012 Conference of the Center for Advanced Studies on Collaborative Research
Bridging the chasm between MDE and the world of compilation
Software and Systems Modeling (SoSyM)
Program analysis scenarios in rascal
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
A framework for analyzing and transforming source code supporting multiple programming languages
Proceedings of the 12th annual international conference companion on Aspect-oriented software development
Using mutation analysis for a model-clone detector comparison framework
Proceedings of the 2013 International Conference on Software Engineering
Understanding the evolution of type-3 clones: an exploratory study
Proceedings of the 10th Working Conference on Mining Software Repositories
Submodel pattern extraction for simulink models
Proceedings of the 17th International Software Product Line Conference
Programming errors in traversal programs over structured data
Science of Computer Programming
Enriching MATLAB with aspect-oriented features for developing embedded systems
Journal of Systems Architecture: the EUROMICRO Journal
A framework for migrating web applications to web services
ICWE'13 Proceedings of the 13th international conference on Web Engineering
Program slicing to understand software generators
Proceedings of the 5th International Workshop on Feature-Oriented Software Development
Information and Software Technology
Tuning research tools for scalability and performance: The NiCad experience
Science of Computer Programming
Can undergraduates script their own refactorings?
Proceedings of the 2013 ACM workshop on Workshop on refactoring tools
Using clone detection to find malware in acrobat files
CASCON '13 Proceedings of the 2013 Conference of the Center for Advanced Studies on Collaborative Research
Static test case prioritization using topic models
Empirical Software Engineering
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, 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.