Typestates for Objects
By R. Deline, Manuel Fähndrich. European Conference on Object-Oriented Programming, 2004
298 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Computational Theory and Mathematics
View Paper: https://www.semanticscholar.org/paper/6679e26e1c52494ac10160324c5a956c164262ae
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Artificial Intelligence
- Manuel Fähndrich
- R. Deline
- Mike Barnett
- Wolfram Schulte
- Tien Nhut Nguyen
- Andreas Zeller
- Christian Lindig
- Andrzej Wasylkowski
In Computational Theory and Mathematics
- Andreas Zeller
- Mike Barnett
- Wolfram Schulte
- Manuel Fähndrich
- R. Deline
- Christian Lindig
- Andrzej Wasylkowski
- K. Rustan M. Leino
Citations in the corpus
- Graph-based mining of multiple object usage patterns (2009, background): “Fugue [7] allows users to specify object typestates and then checks for code conformance.”
- Verification of Object-Oriented Programs with Invariants (2003, methodology): “methods that either do the work themselves or call superclass implementations of the method to do the work (in the tool Fugue [11, 12], methods with this kind of behavior are called sliding methods).”
- Detecting object usage anomalies (2007, methodology): “DeLine and Fähndrich [9] created FUGUE, a tol that allows for specifying typestates for objects and checking the code for conformance to those typestates.”
- The Spec# Programming System: An Overview (2004, background): “To support modular checking of invariants, so that a class does not need to know the invariants of its superclasses and future subclasses, object invariants are partitioned into class frames according to the class that declares each invariant [3, 17].”
- Aspect-oriented programming and modular reasoning (2005, background): “These include higher-order value typing like generic types, [5] state typing [10], behavioral specification [6, 27, 30] and others.”
- Software model checking (2009, unknown): “2002] and typestate interpretations [Fahndrich and DeLine 2004], which map from typestates to predicates over an object’s fields, which can be exploited to verify object-oriented programs using inheritance.”
- Compositional shape analysis by means of bi-abduction (2009, unknown): “This fragment itself could have practical interest: it could possibly form the foundation for less expressive analysis problems which do not require full-blown shape analysis (such as typestate-like analyses [DeLine and Fähndrich 2004; Bierhoff and Aldrich 2005]).”