[Pl-seminar] Semantics Seminar Schedule

Mitchell Wand wand at ccs.neu.edu
Mon Jan 5 00:05:01 EST 2004


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



More information about the pl-seminar mailing list