From: Jurgen Vinju To: Date: Fri, 5 Nov 2004 13:09:55 +0100 Subject: PEM: Eelco Visser (UU) | Strategic Pattern Matching ... with an application to XML | 24.06.99 From: pem (PEM moderator) To: pem-noreply Subject: PEM meeting | 24.06.99 | M2.80, CWI Precedence: bulk X-url: http://www.cwi.nl/~pem Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Dear Environmentalists, This week, Eelco Visser will use us to rehearse his talk for RTA'99. He will lure us to his talk by also discussing some of his very latest work, applying Stratego to the transformation of XML documents. This announcement can be found at Strategic Pattern Matching ... with an application to XML Date: 24.06.99 Time: 10:00 Venue: M2.80, CWI Speaker: Eelco Visser (UU) Title: Strategic Pattern Matching ... with an application to XML The first part of the talk is a rehearsal of my talk for RTA next week (see abstract of the paper below). In the second part I will discuss and/or demonstrate an application of these techniques to the concise specification of transformations of XML documents. Abstract for RTA'99 paper Stratego is a language for the specification of transformation rules and strategies for applying them. The basic actions of transformations are matching and building instantiations of first-order term patterns. The language supports concise formulation of generic and data type-specific 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 first-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 specifications in Stratego. _________________________________________________________________ The programming environment meetings are a forum for the presentation and discussion of new ideas, ongoing and finished work. A typical meeting addresses a subject in the area of programming environments, program generation, algebraic specification, term rewriting, parsing, etc. A presentation ideally takes between 45 and 90 minutes. Meetings taking longer than 45 minutes are interrupted by a coffeebreak. Most Thursdays, a meeting is held which starts at 10:00 am. in one of the rooms at CWI/WINS. Exceptionally, dates or times may change. The program of the meetings is available on WWW: http://www.cwi.nl/~pem _________________________________________________________________