Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Featherweight Typestate Ronald Garcia
 

Summary: Featherweight Typestate
Ronald Garcia¦
Roger Wolff¦ ´Eric TanterX
Jonathan Aldrich¦
July 2010
CMU-ISR-10-115
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
Abstract
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