CMU-ISR-10-116R2
Institute for Software Research
School of Computer Science, Carnegie Mellon University


CMU-ISR-10-116R2

Gradual Featherweight Typestate

Ronald Garcia, Roger Wolff,
Éric Tanter*, Jonathan Aldrich

December 2010
Update May 2012

CMU-ISR-10-116R2.pdf

Supercedes CMU-ISR-10-116 and CMU-ISR-10-116R
All superceded by CMU-ISR-13-113


Keywords: Gradual typing, hybrid types, access permissions, state guarantees


Typestate oriented programming integrates notions of typestate directly into the semantics of an objectoriented programming language. This document presents the formalization of Gradual Featherweight Typestate, a typestate oriented language modeled after Featherweight Java. This language supports a classes-as-states model of typestates, and utilizes a flow-sensitive type system for checking access permissions and state guarantees, thereby enabling safe and modular typestate checking.

50 pages


*PLEIAD Laboratory, Computer Science Department, University of Chile

Return to: SCS Technical Report Collection
School of Computer Science homepage

This page maintained by reports@cs.cmu.edu