From: PEM moderator
To:
Date: Thu, 19 Jun 2003 16:56:20 +0200
Subject: PEM meeting | 23.06.03 | M279

Precedence: bulk
X-url: http://www.cwi.nl/~pem

Mime-Version: 1.0
Content-Type: text/plain

   Dear colleagues,

   Frank  Tip  is visiting us on Monday. He will present how refactorings
   in Eclipse work!

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

           Refactoring for Generalization using Type Constraints

   Date:    23.06.03
   Time:    14:00
   Venue:   M279
   Speaker: Frank Tip
   Title:   Refactoring for Generalization using Type Constraints

   Refactoring   is   the   process   of   applying   behavior-preserving
   transformations   (called   "refactorings")  in  order  to  improve  a
   program's   design.   Associated  with  a  refactoring  is  a  set  of
   preconditions  that  must  be  satisfied  to  guarantee  that  program
   behavior  is  preserved,  and  a  set of source code modifications. An
   important  category  of  refactorings is concerned with generalization
   (e.g.,  "Extract Interface" for re-routing the access to a class via a
   newly created interface, and "Pull Up Members" for moving members into
   a  superclass). For these refactorings, both the preconditions and the
   set  of  allowable source code modifications depend on interprocedural
   relationships  between  types  of variables. We present an approach in
   which  type  constraints  are  used to verify the preconditions and to
   determine  the  allowable  source  code  modifications for a number of
   generalization-related  refactorings.  This work is implemented in the
   standard distribution of Eclipse (see www.eclipse.org).

   Note:  This  is  joint  work  with Adam Kiezun and Dirk Baeumer at IBM
   Research OTI Labs, Zurich, Switzerland. To be presented at OOPSLA'03.
     _________________________________________________________________

   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
     _________________________________________________________________