[Pl-seminar] Semantics Seminar Schedule

Mitchell Wand wand at ccs.neu.edu
Mon Oct 16 09:59:17 EDT 2006

NU Programming Languages Seminar
Wednesday, 10/16/06
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

Upcoming Events:

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


More information about the pl-seminar mailing list