© 1988 by British Computer Society
Iterative Tree Traversal using Refinements and Pointer Rotation
Katholieke Universiteit Nijmegen, Toernooiveld, 6525 ED Nijmegen, The Netherlands
This paper concerns the didactic use of refinements and pointer rotation in the derivation of iterative traversal algorithms according to a given specification. The concept of tree transformation provides a high-level view on (non-recursive) tree traversal. Tree transformations can be realised by using the concept of pointer rotation.
Received June 1986. revised November 1986.
* Katholieke Universiteit Nijmegen, Toernooiveld, 6525 ED Nijmegen, The Netherlands