Specification of iterators
- 1 January 1990
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 16 (12) , 1352-1360
- https://doi.org/10.1109/32.62444
Abstract
Iterators are defined, and previously published methods for defining their meanings are outlined. It is shown how to use trace specifications to define a common form of iterator module (Alphard-style iterators). A form of specification for an iterator is shown which can capture the key differences between a set and a sequence at a few particular places in the specification. The trace specification of a sequence iterator is compared to an algebraic specification. It is concluded that the algebraic specification is possible but somewhat clumsier. Traces are used to give partial specifications of iterator construct that make sequences of calls on procedural parameters.Keywords
This publication has 5 references indexed in Scilit:
- Trace specifications: methodology and modelsIEEE Transactions on Software Engineering, 1988
- A Formal Method for the Abstract Specification of SoftwareJournal of the ACM, 1984
- Some notes on putting formal specifications to productive useScience of Computer Programming, 1982
- Abstraction and Verification in Alphard: Iteration and GeneratorsPublished by Springer Nature ,1981
- Alphard: Form and ContentPublished by Springer Nature ,1981