[Pl-seminar] Semantics Seminar Schedule

[Mitchell Wand]

NU Programming Languages Seminar
Wednesday, 10/16/06
11:45-1:30pm
Room 366 WVH (http://www.ccs.neu.edu/home/wand/directions.html)

Cormac Flanagan
UC Santa Cruz

Hybrid Type Checking for Flexible Specifications


Software systems typically contain large APIs that are informally
specified and hence easily misused. This talk describes the Sage
programming language, which is designed to support and enforce precise
yet flexible interface specifications.  In additional to traditional
static types, the Sage type system also supports first-class types and
arbitrary refinement types.  Sage enforces these specifications using
a combination of static type checking, dynamic contract checking,
automatic theorem proving, and a database of historical specification
violations.


Upcoming Events:

10/25 Will Clinger:  The Java Memory Model:  From Multithreading to Multicore  

--Mitch