Iterator specification with typestates

Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, SAVCBS 2006

Volumn , Issue , 2006, Pages 79-82

  Bierhoff, Kevin ^a  

^a Carnegie Mellon University   (United States)

Author keywords

Aliasing; Iterator; Specification; Typestate; Verification

Indexed keywords

DATA ACQUISITION; ITERATIVE METHODS; JAVA PROGRAMMING LANGUAGE; NETWORK PROTOCOLS; PROBLEM SOLVING;

ITERATOR PROTOCOLS; ITERATOR SPECIFICATIONS; SPECIFICATION TECHNIQUES;

SPECIFICATION LANGUAGES;

EID: 34547220344     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1181195.1181212     Document Type: Conference Paper

References (7)

1. M. Barnett, R. DeLine, M. Fähndrich, K. R. M. Leino, and W. Schulte. Verification of object-oriented programs with invariants. Journal of Object Technology, 3(6):27-56, June 2004.
2. K. Bierhoff and J. Aldrich. Lightweight object specification with typestates. In ACM Symposium on the Foundations of Software Engineering, pages 217-226, Sept. 2005.
3. J. Boyland. Checking interference with fractional permissions. In R. Cousot, editor, Static Analysis: 10th International Symposium, volume 2694 of Lecture Notes in Computer Science, pages 55-72. Springer, 2003.
4. R. DeLine and M. Fähndrich. Typestates for objects. In European Conference on Object-Oriented Programming. Springer, 2004.
5. J.-Y. Girard. Linear logic. Theoretical Computer Science, 50:1-102, 1987.
6. G. T. Leavens, A. L. Baker, and C. Ruby. Preliminary design of JML: A behavioral interface specification language for Java. Technical Report 98-06-rev28, Iowa State University, Department of Computer Science, July 2005.
7. R. E. Strom and S. Yemini. Typestate: A programming language concept for enhancing software reliability. IEEE Transactions on Software Engineering, 12:157-171, 1986.