From: Jurgen Vinju
To: Multiple recipients of list PEM <>
Date: Tue, 18 Jun 2002 13:05:17 +0200
Subject: PEM | 20.06.02 | Z009

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

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

   Dear colleagues,

   You are invited to come to the PEM next Thursday. Frank de Boer (SEN3)
   will present his work on verification of object-oriented programs.

   THE PEM IS IN ROOM Z009

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

      Computer-aided specification and verification of object-oriented
                                  programs

   Date:    20.06.02
   Time:    10:00
   Venue:   Z009
   Speaker: Frank de Boer
   Title:   Computer-aided specification and verification  of object-oriented p
rograms

   We   will   present  a  tool  which  supports  the  specification  and
   verification of a class of flowcharts that captures the basic dynamics
   of  object-oriented  programs.  The  computer-aided  specification and
   verification  involves  the  annotation of a flowchart with assertions
   and   the  automatic  generation  of  the  corresponding  verification
   conditions.  As  such  it  forms  a front-end tool of a theorem prover
   which  is  used to check the verification conditions interactively. To
   use  the  front-end tool for a specific theorem prover, one only needs
   to translate the semantics of the assertion languages. In this talk we
   discuss  such  a translation for the HOL theorem prover. The semantics
   of  the flowcharts is axiomatized by the verification conditions which
   are formulated in terms of a weakest precondition calculus.

   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
     _________________________________________________________________