| | |
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-
|
