Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Typestate-Oriented Programming Jonathan Aldrich Joshua Sunshine Darpan Saini Zachary Sparks
 

Summary: Typestate-Oriented Programming
Jonathan Aldrich Joshua Sunshine Darpan Saini Zachary Sparks
School of Computer Science
Carnegie Mellon University
Pittsburgh, Pennsylvania, USA
{aldrich,jssunshi,dsaini,zsparks}@andrew.cmu.edu
Abstract
Objects model the world, and state is fundamental to a faith-
ful modeling. Engineers use state machines to understand
and reason about state transitions, but programming lan-
guages provide little support for reasoning about or imple-
menting these state machines, causing software defects and
lost productivity when objects are misused.
We propose Typestate-Oriented Programming as a nat-
ural extension to the object paradigm, where objects are
modeled not just in terms of classes, but in terms of chang-
ing states. Each state may have its own representation and
methods which may transition the object into a new state. A
flow-sensitive, permission-based type system helps develop-
ers track which state objects are in. First-class typestates are

  

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

 

Collections: Computer Technologies and Information Sciences