Iterators Revisited: Proof Rules and Implementation (2005)
Cached
Download Links
by
Bart Jacobs
,
Erik Meijer
,
Frank Piessens
,
Wolfram Schulte
| Venue: | IN WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS (FTFJP |
| Citations: | 5 - 1 self |
BibTeX
@INPROCEEDINGS{Jacobs05iteratorsrevisited:,
author = {Bart Jacobs and Erik Meijer and Frank Piessens and Wolfram Schulte},
title = {Iterators Revisited: Proof Rules and Implementation},
booktitle = {IN WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS (FTFJP},
year = {2005},
publisher = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The Iterator design pattern allows client code to access the elements of an aggregate object sequentially without exposing its underlying representation. Several modern
