[Fwd: [Church-announce] Church Seminar this Thursday 12 February]

-------- Original Message --------
Subject: [Church-announce] Church Seminar this Thursday 12 February
Date: Tue, 10 Feb 2004 13:50:33 -0500
From: Mark A. Sheldon <sheldon-TThHoi1dxff2fBVCVOL8/[email protected]>
Reply-To: church-active-TThHoi1dxff2fBVCVOL8/[email protected]
Organization: Boston University Computer Science Department
To: church-announce-TThHoi1dxff2fBVCVOL8/[email protected]

The Spring's first seminar is this Tursday!  Come and enjoy!

When:  Thursday 12 February 2004, 2:30--4:00 pm
Where: Boston University, Room: MCS 180
        111 Cummington Street
Speaker: Philippe Meunier, Northeastern University
Title:  Modular Set-Based Analysis from Contracts

ABSTRACT
Functional contracts supplement module interfaces with additional
information about a function's domain and range. In this talk, we show
how to use such contracts to turn set-based analysis in a fully
modular analysis. The modified analysis translates modular contracts
into two forms of constraints: negative and positive obligations. For
the module itself, the derived negative constraints represent checks
that ensure that the module meets its expectations. For the clients of
the module, the derived positive constraints represent the services
that the module provides.