Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Featherweight Typestate Ronald Garcia

Summary: Featherweight Typestate
Ronald Garcia¦
Roger Wolff¦ ´Eric TanterX
Jonathan Aldrich¦
July 2010
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213
¦School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, USA
XPLEIAD Laboratory, Computer Science Department (DCC), University of Chile
This research is supported by grants from the National Science Foundation and from IBM.
This work was supported by the National Science Foundation under Grant #0937060 to the Computing Research
Association for the CIFellows Project.
Keywords: access permissions, state guarantees
Typestate oriented programming integrates notions of typestate directly into the semantics of an
object-oriented programming language. This document presents the formalization of Feather-
weight 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 check-


Source: Aldrich, Jonathan - School of Computer Science, Carnegie Mellon University
Carnegie Mellon University, School of Computer Science


Collections: Computer Technologies and Information Sciences