Strategic Pattern Matching (1999) [37 citations — 9 self]
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Visser99strategicpattern,author = {Eelco Visser},
title = {Strategic Pattern Matching},
booktitle = {Rewriting Techniques and Applications (RTA'99},
year = {1999},
pages = {30--44},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Abstract:
Abstract. Stratego is a language for the specication of transformation rules and strategies for applying them. The basic actions of transformations are matching and building instantiations of rst-order term patterns. The language supports concise formulation of generic and data type-speci c term traversals. One of the unusual features of Stratego is the separation of scope from matching, allowing sharing of variables through traversals. The combination of rst-order patterns with strategies forms an expressive formalism for pattern matching. In this paper we discuss three examples of strategic pattern matching: (1) Contextual rules allow matching and replacement of a pattern at an arbitrary depth of a subterm of the root pattern. (2) Recursive patterns can be used to characterize concisely the structure of languages that form a restriction of a larger language. (3) Overlays serve to hide the representation of a language in another (more generic) language. These techniques are illustrated by means of specications in Stratego. 1
