Tuesday 26th June, 2012
10:00am to 11:45am
A pluggable type system extends a language's built-in type system to confer additional compile-time guarantees. We will explain the theory and practice of pluggable types. The material is relevant for anyone who wishes to increase confidence in their code.
After this session, you will have the knowledge to:
While the theory is general, our hands-on exercises will use a state-of-the-art system, the Checker Framework, that works for the Java language, scales to millions of lines of code, and is being adopted in the research and industrial communities. Such a framework enables researchers to easily evaluate their type systems in the context of a widely-used industrial language, Java. It enables non-researchers to verify their code in a lightweight way and to create custom analyses. And it enables students to better appreciate type system concepts.
Audience participation is desired! We encourage the audience to come prepared with a laptop with a working Java environment (Eclipse optional).
Additional material is available here: http://types.cs.washington.edu/c...
Sign in to add slides, notes or videos to this session