From: Jurgen Vinju
To:
Date: Fri, 5 Nov 2004 13:09:53 +0100
Subject: PEM: Leon Moonen | Type Inference for Cobol Systems | 10.09.98

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

   Dear Environmentalists,

   This week we start off a new season of PEM talks. Our first speaker is
   Leon Moonen who will tell us about type inference for Cobol.

   Please note that this week's PEM is in room F013 at the UvA, _not_ the
   CWI.

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

                      Type Inference for Cobol Systems

   Date:    10.09.98
   Time:    10:00
   Venue:   F013, WINS UvA
   Speaker: Leon Moonen
   Title:   Type Inference for Cobol Systems

   [joint work with Arie van Deursen]

   Types  are  a  good  starting point for various software reengineering
   tasks.   Unfortunately,   languages   requiring   reengineering   most
   desparately  are  written  in  languages  (such  as  COBOL) without an
   adequate  type  system.  To  solve this problem we propose a method of
   automated  type  inference. The main ingredients are that if variables
   are  compared  using  some relational operator their types must be the
   same; likewise if a variable is assigned an expression, the type of an
   expression  must  be a subtype of that of the variable. We present the
   type  system  and inference rules for this approach, show their effect
   on  various  real  life  COBOL  fragments,  and  discuss  a  number of
   applications.
     _________________________________________________________________

   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
     _________________________________________________________________