[PRL] Fwd: visit

[Matthias Felleisen]

Cormac Flanagan on October 19 -- Matthias


Begin forwarded message:

> Title:    Hybrid Type Checking for Flexible Specifications
>
> Abstract:
>
> 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.