From: Jurgen Vinju
To: Multiple recipients of list PEM <>
Date: Tue, 11 Dec 2001 14:49:04 +0100
Subject: PEM | 13.12.01 | M2.80 CWI

Precedence: bulk
X-url: http://www.cwi.nl/htbin/jurgenv/pem/pem.cgi?1008241200
Mime-Version: 1.0
Content-Type: text/plain

   Dear colleagues,

   This announcement can be found with links at
   <http://www.cwi.nl/htbin/jurgenv/pem/pem.cgi?1008241200>

                         Traversal Functions in ASF

   Date:    13.12.01
   Time:    10:00
   Venue:   M2.80 CWI
   Speaker: Jurgen Vinju
   Title:   Traversal Functions in ASF

   ASF  can  be  used to analyze and transform computer programs or other
   structured  documents. Such structures are represented by terms (parse
   trees)  in  ASF.  To  compute  on them, terms need to be inspected and
   replaced  by other terms. Before we can do anything we usually have to
   traverse a term to find locations of interest.

   Because programming term traversal is a boring and sometimes even very
   cumbersome  job,  ASF should provide some mechanism for automating it.
   Traversal  Functions  are  designed  to provide a simple and type-safe
   interface to automatic term traversals in ASF.

   In this talk we will briefly discuss the intentions and overall design
   issues  of  Traversal  Functions. We focus on their use by giving four
   typical  non-trivial examples. Afterwards we will summarize and try to
   evaluate the usefulness of Traversal Functions in a discussion.

   Have a nice day.
     _________________________________________________________________

   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/~jurgenv/pem/index.html
     _________________________________________________________________