Preview
Unable to display preview. Download preview PDF.
References
Backus J., "Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs", CACM 21(8), August 1978.
Bauer F.L. and Wössner H., Algorithmic Language and Program Development, Springer-Verlag, 1982.
Bird R.S., "Notes on Recursion Elimination", CACM 20(6), June 1977.
Bird R.S., "Improving Programs by the Introduction of Recursion", CACM 20(11), November 1977.
Burstall R.M. and Darlington J., "A Transformation System for Developing Recursive Programs", JACM 24(1), January 1977.
Bush V.J., "A Proof of the Equivalence Between Two Recursive Forms", Dataflow Research Project, Department of Computer Science, University of Manchester, 1985.
Cooper D.C., "The Equivalence of Certain Computations", Computer Journal 9(1), May 1966.
Darlington J. and Burstall R.M., "A System Which Automatically Improves Programs", Acta Informatica 6(1), January 1976.
Darlington J., "Program Transformation", in Darlington J., Henderson P. and Turner D.A. (eds.), Functional Programming and its Applications, Cambridge University Press, 1982.
Darlington J. and Reeve M., "ALICE: A Multi-Processor Reduction Machine for the Parallel Evaluation of Applicative Languages", Proceedings of the ACM Conference on Functional Languages and Computer Architecture, October 1981.
Gurd J.R., Kirkham C.C. and Watson I., "The Manchester Prototype Dataflow Computer", CACM 28(1), January 1985.
Kieburtz R.B. and Shultis J., "Transformations of FP Program Schemes", Proceedings of the ACM Conference on Functional Languages and Computer Architecture, October 1981.
Manna Z., Ness S. and Vuillemin J., "Inductive Methods for Proving Properties of Programs", CACM 16(8), August 1973.
McCarthy J., "A Basis for a Mathematical Theory of Computation", in Braffort P. and Hirschberg D. (eds.), Computer Programming and Formal Systems, North Holland, 1963.
Minsky M.L., Computation: Finite and Infinite Machines, Prentice-Hall, 1972.
Oliveira J.N.F., "The Formal Semantics of Deterministic Dataflow Programs", Ph.D. Thesis, Department of Computer Science, University of Manchester, February 1984.
Wadler P., "Applicative Style Programming, Program Transformations, and List Operators", Proceedings of the ACM Conference on Functional Languages and Computer Architecture, October 1981.
Williams J.H., "On the Development of the Algebra of Functional Programs", Research Report RJ2983 (37118), Computer Science, IBM Research Laboratory, San Jose, California 95193, October 1980.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bush, V.J., Gurd, J.R. (1985). Transforming recursive programs for execution on parallel machines. In: Jouannaud, JP. (eds) Functional Programming Languages and Computer Architecture. FPCA 1985. Lecture Notes in Computer Science, vol 201. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15975-4_47
Download citation
DOI: https://doi.org/10.1007/3-540-15975-4_47
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15975-9
Online ISBN: 978-3-540-39677-2
eBook Packages: Springer Book Archive