[Fwd: [Pl-seminar] Semantics Seminar Schedule]

-------- Original Message --------
Subject: [Pl-seminar] Semantics Seminar Schedule
Date: Mon, 05 Jan 2004 00:05:01 -0500
From: Mitchell Wand <[email protected]>
To: [email protected]

NU Programming Languages Seminar
Wednesday, January 7, 2004
206 Egan  Hall, Northeastern University
     (building 60 on http://www.campusmap.neu.edu/)
1145-145. Bring your lunch.

Philippe Meunier

Northeastern University

Modular Set-Based Analysis from Contracts


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.

Upcoming Events:

Later in January:

Greg Pettyjohn: Comparing Web Servlet Technologies

--Mitch

_______________________________________________
pl-seminar mailing list
[email protected]
https://lists.ccs.neu.edu/bin/listinfo/pl-seminar