Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Lightweight Object Specification with Typestates Kevin Bierhoff
 

Summary: Lightweight Object Specification with Typestates
Kevin Bierhoff
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213, USA
kevin.bierhoff @ cs.cmu.edu
Jonathan Aldrich
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213, USA
jonathan.aldrich @ cs.cmu.edu
ABSTRACT
Previous work has proven typestates to be useful for mod-
eling protocols in object-oriented languages. We build on
this work by addressing substitutability of subtypes as well
as improving precision and conciseness of specifications. We
propose a specification technique for objects based on ab-
stract states that incorporates state refinement, method re-

  

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

 

Collections: Computer Technologies and Information Sciences