Newsgroups: fr.announce.seminaires
Distribution: fr
To: fr-sem@frmug.org
From: Nelly.Maloisel@inria.COUPER-CECI.fr
Organization: INRIA-Rocquencourt
Subject: SEM - INRIA : Cristal - 05/05/00 - Paris - FR

           http://pauillac.inria.fr/bin/calendar/Seminaires


                             S E M I N A I R E

   ____              ____    .                   
  /   _   _        /    ___   __  /_  _   /     /| /|  _   __ __ _       _ 
 /   / \ / \  _   /    /   / /_  /   __| /  _  / |/ | / \ /_ /  / \ | / __|
|___ |_/ |_/     |___ /   / __/ |_  |_/ |_    /     | |_/__/ |_ |_/ |/ |_/
          /                                                                 
         /                                                                  
                          I N R I A - Rocquencourt, 
                       Salle de conference du Bat 11

                           Vendredi 5 mai, 10h30

                                ------------
                                Eelco Visser
                                ------------

                            Universiteit Utrecht

                            ===================
                            A Stratego Tutorial
                            ===================

Program transformations are often described by means of rewrite rules. However,
implementation of program transformation systems by means of pure rewrite
systems (that apply rules as long as possible) is often not feasible, because
careful control of the application of rewrite rules is needed. This leads to
encoding of the transformation strategy in the transformation rules. 

Rewriting strategies are a mechanism for separating rules and strategy by
providing a language of programmable strategies that determine the order and
place in which rules are applied. Stratego is a language based on the paradigm
of rewriting strategies. The language provides a powerful set of combinators
for definining traversals over terms. Stratego takes strategies to the extreme
by definining all transformations in terms of the primitive actions for
matching and instantiating term patterns. 

In the talk I will give a tutorial for Stratego. I will give several examples
and explain the principles of the language.