From: Jurgen Vinju
To:
Date: Fri, 5 Nov 2004 13:09:50 +0100
Subject: PEM: Merijn de Jonge | Renaming in ASF+SDF |  5.06.97

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

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

                            Renaming in ASF+SDF

   Date:     5.06.97
   Time:    10:00
   Venue:   F013, UvA WINS
   Speaker: Merijn de Jonge
   Title:   Renaming in ASF+SDF

   The  algebraic  specification  formalism  ASF+SDF, propagates reuse by
   means  of  modularization.  Since  ASF+SDF  is  many  sorted, reusable
   components needs to be specified as generic modules which can later be
   instantiated.  Instantiating  a generic module can be done by renaming
   (substituting)  the generic sorts. Unfortunately, reuse in ASF+SDF has
   never evolved since the formalism lacks a renaming operator.

   In  the  talk  I  will concentrate on the development of an (external)
   renaming tool and its use in the development of a library for ASF+SDF.
     _________________________________________________________________

   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
     _________________________________________________________________