Iterator specification with typestates

@inproceedings{Bierhoff2006IteratorSW,
  title={Iterator specification with typestates},
  author={Kevin Bierhoff},
  booktitle={SAVCBS '06},
  year={2006}
}
Java iterators are notoriously hard to specify. This paper applies a general typestate specification technique that supports several forms of aliasing to the iterator problem. The presented specification conservatively captures iterator protocols and consistency rules. Two limitations of the specification are discussed. 
Highly Cited
This paper has 19 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-2 of 2 references

Typestates for Objects

View 4 Excerpts
Highly Influenced

Lightweight object speci cation with typestates

K. Bierho, J. Aldrich
In ACM Symposium on the Foundations of Software Engineering, • 2005
View 3 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…