Skip to main content
SpringerLink
Log in
Book cover

Conference on Functional Programming Languages and Computer Architecture

FPCA 1985: Functional Programming Languages and Computer Architecture pp 305–318Cite as

A functional language and modular architecture for scientific computing

  • Conference paper
  • First Online:

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

Abstract

An experimental functionally programmed multiprocessor for high performance computing applications is the subject of an ongoing research project at FPS, with the objective of bringing the benefits of functional programming to the scientific and engineering computing community.

The system architecture is a modular, heterogeneous multiprocessor which supports the parallel evaluation of "Flo," a stream oriented functional language. Streams (infinite sequences) give expressive power to the language and require normal order evaluation techniques. Sub-expressions of a Flo program graph are distributed among several specialized processors on which evaluation proceeds concurrently.

This paper gives an overview of the system and discusses its language, architecture, and operation.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. John Backus, "Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs." Communications of the ACM 21(8):613–641, August 1978.

    Google Scholar 

  2. John Darlington and Mike Reeve, "ALICE — A Multi-Processor Reduction Machine For The Parallel Evaluation of Applicative Languages." ACM Proc. 1981 Conf. on Functional Programming Languages and Computer Architecture, pp. 65–75, 1981.

    Google Scholar 

  3. Richard B. Kieburtz, "Marigold — A Functional Flow-Graph Language." Oregon Graduate Center Technical Report CS/E-83-005, 1983.

    Google Scholar 

  4. Robin Milner, "A Theory of Type Polymorphism in Programming." Journal of Computer and System Sciences 17:348–375, 1978.

    Google Scholar 

  5. Prateek Mishra and Robert M. Keller, "Static inference of properties of applicative programs." ACM Proc. 11th Symposium on Principles of Programming Languages, pp. 235–243, 1983.

    Google Scholar 

  6. J. A. Robinson, "A Machine-Oriented Logic Based on the Resolution Principle." Journal of the ACM 12(1):23–41, January 1965.

    Google Scholar 

  7. Kenneth G. Wilson, "Planning for the Future of U.S. Scientific and Engineering Computing." Comm. ACM 27(4):279–280, April 1984.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Floating Point Systems, Inc., P.O. Box 23489, 97223, Portland, OR, USA

    Mark F. Young

Authors
  1. Mark F. Young
    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

Young, M.F. (1985). A functional language and modular architecture for scientific computing. 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_44

Download citation

  • DOI: https://doi.org/10.1007/3-540-15975-4_44

  • 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