SDF is a formalism for the definition of syntax which is comparable to BNF in some respect, but has a wider scope in that it also covers the definition...

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. In this paper, many-sorted rst-order term rewriting is extended with automatic tree traversal by adding two primitive tree traversal strategies and complementing them with three types of traversals. These so-called traversal functions can be either top-down or bottom-up. They can be sort preserving, mapping to a single sort, or a combination of these two. Traversal functions have a simple design, their application is type-safe in a rst-order many-sorted setting and can be implemented eciently. We describe the operational semantics of traversal functions and discuss applications.

Contents 1 Introduction 3 2 ASF+SDF Meta-environment 4 3 SEAL 4 3.1 SEAL objectives : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 4 3.2 GSE : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 4 3.3 Syntax : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 5 3.4 Semantics : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 5 4 ToolBus 6 4.1 ToolBus architecture : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 6 4.2 Syntax : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 6 4.3 Semantics : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 8 4.4 Atomic actions : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 8 5 Translation of SEAL scripts to ToolBus scripts 9 5.1 I