From: Jurgen Vinju
To:
Date: Fri, 5 Nov 2004 13:09:55 +0100
Subject: PEM: Leon Moonen | Understanding COBOL Systems using Inferred Types | 29.04.99

 
From: pem (PEM moderator)
To: pem-noreply
Subject: PEM meeting | 29.04.99 | F0.13, 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 Leon Moonen will tell us about system understanding through
   type  inference.  This  talk  will  also  be  held  next  week  at the
   International   Workshop   on   Program   Comprehension   (IWPC99)  in
   Pittsburgh.

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

              Understanding COBOL Systems using Inferred Types

   Date:    29.04.99
   Time:    10:00
   Venue:   F0.13, WINS, UvA
   Speaker: Leon Moonen
   Title:   Understanding COBOL Systems using Inferred Types

   [joint work with Arie van Deursen]

   In  a  typical COBOL program, the data division consists of 50% of the
   lines  of  code.  Automatic  type inference can help to understand the
   large  collections of variable declarations contained therein, showing
   how  variables  are  related  based  on  their  actual usage. The most
   problematic aspect of type inference is pollution, the phenomenon that
   types  become too large, and contain variables that intuitively should
   not  belong  to  the  same type. We provide empirical evidence for the
   hypothesis  that  the use of subtyping is an effective way for dealing
   with  pollution. The main results include a tool set to carry out type
   inference   experiments,   a  suite  of  metrics  characterizing  type
   inference  outcomes,  and  the  conclusion  that  only one instance of
   pollution was found in the case study conducted.
     _________________________________________________________________

   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
     _________________________________________________________________