
Chapter
18:
AND-Control
and
Program Transformation
709
previous version's shortcomings. Our thanks also to Mantis H. M. Cheng for
pointing out that the naive OR-control of the derived program is wrong, and
why. Last, but not least, we gratefully acknowledge the role of the Digital
Equipment Corporation of Canada and the National Science and Engineering
Research Council of Canada in contributing to the research facilities used in
the work reported here.
References
1.
Burstall, R. and Darlington, J. [1977] A Transformation System for Developing
Recursive Programs, Journal of the ACM
24,
44-67.
2.
Clark, K.L. and Gregory, S. [1981] A Relationa ...