The Reve's Puzzle: An Iterative Solution Produced by Transformation
T.D. Gedeon · The Computer Journal · 1992
An iterative solution to the Reve's puzzle is produced by largely automatic program transformation from a recursive solution. The result compares favourably with published, manually produced iterative algorithms, both in terms of comprehensibility in its own right, and efficiency.