Skip to main content
SpringerLink
Log in

Transforming recursive programs for execution on parallel machines

  • Conference paper
  • First Online:
Book cover Functional Programming Languages and Computer Architecture (FPCA 1985)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 201))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Backus J., "Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs", CACM 21(8), August 1978.

    Google Scholar 

  2. Bauer F.L. and Wössner H., Algorithmic Language and Program Development, Springer-Verlag, 1982.

    Google Scholar 

  3. Bird R.S., "Notes on Recursion Elimination", CACM 20(6), June 1977.

    Google Scholar 

  4. Bird R.S., "Improving Programs by the Introduction of Recursion", CACM 20(11), November 1977.

    Google Scholar 

  5. Burstall R.M. and Darlington J., "A Transformation System for Developing Recursive Programs", JACM 24(1), January 1977.

    Google Scholar 

  6. Bush V.J., "A Proof of the Equivalence Between Two Recursive Forms", Dataflow Research Project, Department of Computer Science, University of Manchester, 1985.

    Google Scholar 

  7. Cooper D.C., "The Equivalence of Certain Computations", Computer Journal 9(1), May 1966.

    Google Scholar 

  8. Darlington J. and Burstall R.M., "A System Which Automatically Improves Programs", Acta Informatica 6(1), January 1976.

    Google Scholar 

  9. Darlington J., "Program Transformation", in Darlington J., Henderson P. and Turner D.A. (eds.), Functional Programming and its Applications, Cambridge University Press, 1982.

    Google Scholar 

  10. 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.

    Google Scholar 

  11. Gurd J.R., Kirkham C.C. and Watson I., "The Manchester Prototype Dataflow Computer", CACM 28(1), January 1985.

    Google Scholar 

  12. Kieburtz R.B. and Shultis J., "Transformations of FP Program Schemes", Proceedings of the ACM Conference on Functional Languages and Computer Architecture, October 1981.

    Google Scholar 

  13. Manna Z., Ness S. and Vuillemin J., "Inductive Methods for Proving Properties of Programs", CACM 16(8), August 1973.

    Google Scholar 

  14. 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.

    Google Scholar 

  15. Minsky M.L., Computation: Finite and Infinite Machines, Prentice-Hall, 1972.

    Google Scholar 

  16. Oliveira J.N.F., "The Formal Semantics of Deterministic Dataflow Programs", Ph.D. Thesis, Department of Computer Science, University of Manchester, February 1984.

    Google Scholar 

  17. Wadler P., "Applicative Style Programming, Program Transformations, and List Operators", Proceedings of the ACM Conference on Functional Languages and Computer Architecture, October 1981.

    Google Scholar 

  18. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Manchester, Oxford Road, M13 9PL, Manchester, England

    V. J. Bush & J. R. Gurd

Authors
  1. V. J. Bush
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. R. Gurd
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jean-Pierre Jouannaud

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation