Abstraction and specification in program development
Abstraction and specification in program development
Programming structures
Software—Practice & Experience
Programming languages: an interpreter-based approach
Programming languages: an interpreter-based approach
The C++ answer book
Advanced C++ programming styles and idioms
Advanced C++ programming styles and idioms
The C++ programming language (2nd ed.)
The C++ programming language (2nd ed.)
ICON Programmng Language
ACM SIGPLAN Notices
An iterator construct for the refinement calculus
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
Hi-index | 0.00 |
A new mechanism for writing iterators in the C++ programming language is proposed in this paper. It provides a handy notation for writing general iterators easily, and a simple semantics based-on semicoroutines. A set of useful programming idioms for use with the proposed mechanism is also presented.