Resource Usage Protocols for Iterators

DMCA

Resource Usage Protocols for Iterators (2009)

Cached

Download Links

by Christian Haack , Clément Hurlin

Citations:

9 - 2 self

BibTeX

@MISC{Haack09resourceusage,
    author = {Christian Haack and Clément Hurlin},
    title = {Resource Usage Protocols for Iterators},
    year = {2009}
}

OpenURL

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.

Keyphrases

resource usage protocol iterator object iterator client underlying collection iterator interface present example iterator implementation java-like object interface concurrent modification iterator protocol separation logic contract usage protocol

DMCA