Algebraic specification
The syntax definition formalism SDF—reference manual—
ACM SIGPLAN Notices
Higher order attribute grammars
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
TXL: a rapid prototyping system for programming language dialects
Computer Languages
Journal of Symbolic Computation - Special issue on automatic programming
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Generation of components for software renovation factories from context-free grammars
Science of Computer Programming - Special issue on WCRE 97
A slicing-based approach for locating type errors
ACM Transactions on Software Engineering and Methodology (TOSEM)
Visitor combination and traversal control
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The Art of Computer Programming Volumes 1-3 Boxed Set
The Art of Computer Programming Volumes 1-3 Boxed Set
Language Prototyping: An Algebraic Specification Approach: Vol. V
Language Prototyping: An Algebraic Specification Approach: Vol. V
Compiling language definitions: the ASF+SDF compiler
ACM Transactions on Programming Languages and Systems (TOPLAS)
Typed Combinators for Generic Traversal
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Introduction to Attributed Grammars
Proceedings on Attribute Grammars, Applications and Systems
Industrial Applications of ASF+SDF
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
Core Technologies for System Renovation
SOFSEM '96 Proceedings of the 23rd Seminar on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Compilation and Memory Management for ASF+SDF
CC '99 Proceedings of the 8th International Conference on Compiler Construction, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
A Logic Programming Approach to Implementing Higher-Order Term Rewriting
ELP '99 Proceedings of the Second International Workshop on Extensions of Logic Programming
Restructuring of COBOL/CICS Legacy Systems
CSMR '99 Proceedings of the Third European Conference on Software Maintenance and Reengineering
Type Inference for COBOL Systems
WCRE '98 Proceedings of the Working Conference on Reverse Engineering (WCRE'98)
How Understanding and Restructuring Differ from Compiling " A Rewriting Perspective
IWPC '03 Proceedings of the 11th IEEE International Workshop on Program Comprehension
Term rewriting with traversal functions
Term rewriting with traversal functions
Revitalizing Modifiability of Legacy Assets
CSMR '03 Proceedings of the Seventh European Conference on Software Maintenance and Reengineering
The transient combinator, higher-order strategies, and the distributed data problem
Science of Computer Programming - Special issue on program transformation
A New Architecture for Transformation-Based Generators
IEEE Transactions on Software Engineering
Architectural modifications to deployed software
Science of Computer Programming
Proceedings of the 2005 ACM symposium on Applied computing
The TXL source transformation language
Science of Computer Programming - The fourth workshop on language descriptions, tools, and applications (LDTA'04)
A generic recursion toolbox for Haskell or: scrap your boilerplate systematically
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell
Automated mass maintenance of a software portfolio
Science of Computer Programming - Special issue on source code analysis and manipulation (SCAM 2005)
A transformational perspective into the core of an abstract class loader for the SSP
ACM Transactions on Embedded Computing Systems (TECS)
ATerms for manipulation and exchange of structured data: It's all about sharing
Information and Software Technology
Program Transformation with Scoped Dynamic Rewrite Rules
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Separation of concerns in translational semantics for DSLs in model engineering
Proceedings of the 2007 ACM symposium on Applied computing
An update calculus for expressing type-safe program updates
Science of Computer Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Repleo: a syntax-safe template engine
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Stratego/XT 0.17. A language and toolset for program transformation
Science of Computer Programming
An Isabelle/HOL-based model of stratego-like traversal strategies
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Programming Errors in Traversal Programs Over Structured Data
Electronic Notes in Theoretical Computer Science (ENTCS)
An Invasive Composition System for Local-to-Global Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Co-transformations in Information System Reengineering
Electronic Notes in Theoretical Computer Science (ENTCS)
Mumbo: A Rule-Based Implementation of a Run-time Program Generation Language
Electronic Notes in Theoretical Computer Science (ENTCS)
A survey of strategies in rule-based program transformation systems
Journal of Symbolic Computation
CATS '09 Proceedings of the Fifteenth Australasian Symposium on Computing: The Australasian Theory - Volume 94
Excerpts from the TXL cookbook
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
More precise typing of rewrite strategies
Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications
On the use of graph transformations for model refactoring
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Applications of the ASF+SDF meta-environment
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Program transformation using HATS 1.84
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Term rewriting meets aspect-oriented programming
Processes, Terms and Cycles
Extracting structured data from natural language documents with island parsing
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Program Transformation with Scoped Dynamic Rewrite Rules
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Programming errors in traversal programs over structured data
Science of Computer Programming
| Hi-index | 0.00 |
Term rewriting is an appealing technique for performing program analysis and program transformation. Tree (term) traversal is frequently used but is not supported by standard term rewriting. We extend many-sorted, first-order term rewriting with traversal functions that automate tree traversal in a simple and type-safe way. Traversal functions can be bottom-up or top-down traversals and can either traverse all nodes in a tree or can stop the traversal at a certain depth as soon as a matching node is found. They can either define sort-preserving transformations or mappings to a fixed sort. We give small and somewhat larger examples of traversal functions and describe their operational semantics and implementation. An assessment of various applications and a discussion conclude the article.