[pept:71] CFP: Strategies for Program Transformation; Stratego Tutorial at ETAPS

[Eelco Visser <visser@xxxxxxx>]

First Call for Participation
---------------------------------------------------------------------
Strategies for Program Transformation 
                  
Full Day Tutorial on April 14, 2002 at ETAPS 2002 in Grenoble, France
---------------------------------------------------------------------    
Abstract

Program transformation has applications in many areas of
software engineering including compilation, optimization, refactoring,
program synthesis, software renovation, and reverse
engineering. Program transformation increases programmer productivity
by automating programming tasks, thus enabling programming at a
higher-level of abstraction, and increasing maintainability and
re-usability.

This tutorial gives an introduction to principles and practice of
program transformation with rewriting strategies.  Programmable
rewriting strategies allow the separation of transformation rules from
the strategies for applying them, thus providing support for concise,
declarative, and reusable specification of program transformation
systems.
        
The tutorial discusses all aspects of transformation with strategies;
after a taxonomy of program transformation and a discussion of program
representation, it covers specification of program transformations
with rewrite rules, combinators for composing rewriting strategies, in
particular combinators for generic traversal, exchange of
context-dependent information through scoped dynamic rewrite rules,
pragmatics of programming with strategies in Stratego, and
applications of these techniques.
----------------------------------------------------------------------
Registration for the tutorial goes through the general registration for 
ETAPS at

   http://www-etaps.imag.fr/

For more information about the tutorial see

   http://www.stratego-language.org/Stratego/StrategoTutorialAtETAPS

or contact Eelco Visser <visser@cs.uu.nl>. I would appreciate to hear
about participation in advance, so I know how many people to expect.
----------------------------------------------------------------------

-- Eelco

-----------------------------------------------------------------------------
Eelco Visser                 Institute of Information and Computing Sciences
mail:visser@cs.uu.nl         Universiteit Utrecht
  or:visser@acm.org          P.O. Box 80089, 3508 TB Utrecht, The Netherlands
http://www.cs.uu.nl/~visser/ Phone: +31-30-253 4592 Fax: +31-30-251 3791
-----------------------------------------------------------------------------