Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Gradual Typestate Roger Wolff1
 

Summary: Gradual Typestate
Roger Wolff1
, Ronald Garcia1X, ´Eric Tanter2Y, and Jonathan Aldrich1§
1
School of Computer Science ­ Carnegie Mellon University
first.last@cs.cmu.edu
2
PLEIAD Laboratory
Computer Science Department (DCC) ­ University of Chile
etanter@dcc.uchile.cl
Abstract. Typestate reflects how the legal operations on imperative
objects can change at runtime as their internal state changes. A typestate
checker can statically ensure, for instance, that an object method is only
called when the object is in a state for which the operation is well-
defined. Prior work has shown how modular typestate checking can be
achieved thanks to access permissions and state guarantees. However,
static typestate checking is still too rigid for some applications.
This paper formalizes a nominal object-oriented language with muta-
ble state that integrates typestate change and typestate checking as
primitive concepts. In addition to augmenting the types of object ref-

  

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

 

Collections: Computer Technologies and Information Sciences