Skip to Main content Skip to Navigation
Journal articles

Resource usage protocols for iterators

Abstract : We discuss usage protocols for iterator objects that prevent concurrent modifications of the underlying collection while iterators are in progress. We formalize these protocols in Java-like object interfaces, enriched with separation logic contracts. We present examples of iterator clients and proofs that they adhere to the iterator protocol, as well as examples of iterator implementations and proofs that they implement the iterator interface.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/inria-00410128
Contributor : Clément Hurlin <>
Submitted on : Monday, August 17, 2009 - 7:15:27 PM
Last modification on : Tuesday, December 8, 2020 - 9:48:04 AM

Identifiers

  • HAL Id : inria-00410128, version 1

Collections

Citation

Christian Haack, Clément Hurlin. Resource usage protocols for iterators. The Journal of Object Technology, Chair of Software Engineering, 2009, Special Issue Workshops IWACO and FTFJP at ECOOP 08, 8 (4), pp.55-83. ⟨inria-00410128⟩

Share

Metrics

Record views

112