From: Jurgen Vinju
To:
Date: Fri, 5 Nov 2004 13:09:58 +0100
Subject: PEM: Eelco Visser (UU) | Shape Abstraction in Stratego |  2.03.00

 
From: pem (PEM moderator)
To: pem-noreply
Subject: PEM meeting |  2.03.00 | M2.79, CWI 
Precedence: bulk
X-url: http://www.cwi.nl/~pem
Mime-Version: 1.0
Content-Type: text/plain;
        charset="iso-8859-1"

   Dear Environmentalists,

   In our "a stroll through the forest" subseries, Eelco Visser will talk
   this  week on how program transformation algorithms can be generically
   implemented using Stratego.

   This announcement can be found at <http://www.cwi.nl/~pem>

                       Shape Abstraction in Stratego

   Date:     2.03.00
   Time:    10:00
   Venue:   M2.79, CWI
   Speaker: Eelco Visser (UU)
   Title:   Shape Abstraction in Stratego

   Many  program  transformation algorithms touch only a few constructors
   of  the  abstract  syntax.  The  other  constructors  are handled in a
   default  way.  In conventional programming these algorithms have to be
   adapted  to the specific structure of the abstract syntax, incurring a
   lot of overhead on the programmer.

   Stratego is a language for the specification of program transformation
   systems  based  on  the  paradigm  of rewriting strategies. This paper
   shows  how  in  Stratego  program  transformations  algorithms  can be
   generalized  and  concisely specified by abstracting over the shape of
   the  relevant constructors and by specifying the default behaviour for
   the  other constructors. The ideas are illustrated by means of several
   case studies, i.e., free variable extraction, bound variable renaming,
   syntactic unification and module flattening.
     _________________________________________________________________

   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
     _________________________________________________________________