Skip to main content
SpringerLink
Log in

Functional Parallel Typified Language and Its Implementation on Clusters

  • Published:
Programming and Computer Software Aims and scope Submit manuscript

Abstract

In the paper, a functional parallel programming system implemented on clusters is discussed. It includes a language of compositional functional parallel programming, program development tools, and tools for controlling parallel code execution on the clusters.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

REFERENCES

  1. Church, A., The Calculi of Lambda-Conversion, Ann. Math. Studies, 1941, vol. 6.

  2. Kleene, S.K., Introduction to Metamathematics. Translated under the title Vvedenie v metamatematiku, Moscow: Inostrannaya Lit., 1957.

    Google Scholar 

  3. Scott, D. and Strachey, C., Towards a Mathematical Semantics for Computer Languages, Proc. Symp. on Computers and Automata, Polytechnic Inst. of Brooklyn, 1971.

  4. McCarthy, J., Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part 1, Comm. ACM, 1960, vol. 3, no.4.

  5. Backus, J., Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs, Commun. ACM, 1978, vol. 21, no.8.

  6. Burstall, R., MacQueen, D., and Sannella, D., Hope: An Experimental Applicative Language, Univ. of Edinburgh, Dept. of Computer Sci., 1981.

  7. Peyton, Jones S.L., The Implementation of Functional Programming Language, Prentice Hall, 1987.

  8. Milner, R.G., The Standard ML Core Language. Polymorphism, The ML/LCF/Hope Newsletter, 1985, vol. 2, no.2.

  9. Kutepov, V.P., Calculus of Functional Schemes and Parallel Algorithms, Programmirovanie, 1976, no. 6.

  10. Kutepov, V.P. and Fal'k, V.N., Functional Systems: Theoretical and Practical Aspects, Kibern., 1979, no. 1.

  11. Kutepov, V.P., Functional Systems and Parallel Computations, Doctoral (Tech.) Dissertation, Moscow: Moscow Power Engineering Inst., 1982.

    Google Scholar 

  12. Kutepov, V.P. and Fal'k, V.N., Functional Graph Schemes of Algorithms and Their Equivalent Transformations, Trudy Pervoi Vsesoyuznoi konferentsii po programmirovaniyu (Proc. of the First All-Union Conf. on Programming), Kiev: Inst. Kibern. AN USSR, 1968.

    Google Scholar 

  13. Kutepov, V.P. and Fal'k, V.N., Models of Asynchronous Evaluation of Functions in a Language of Functional Schemes, Programmirovanie, 1978, no. 3.

  14. Borzdova, T.V., et al., A Multilanguage System of Parallel Programming Based on One Family of Functional Languages, Programmirovanie, 1984, no. 2.

  15. Selegei, M.B., Development and Implementation of a Typified Functional Parallel Programming Language, Cand. Sci. (Tech.) Dissertation, Moscow: Moscow Power Engineering Inst., 1989.

    Google Scholar 

  16. Gryzunov, V.B., Development and Implementation of a Functional Programming System, Cand. Sci. (Tech.) Dissertation, Moscow: Moscow Power Engineering Inst., 1990.

    Google Scholar 

  17. Pettsol'd, V., Construction of a System for Parallel Processing Symbolic Information Based on a Family of Functional Models, Cand. Sci. (Tech.) Dissertation, Moscow: Moscow Power Engineering Inst., 1988.

    Google Scholar 

  18. Kutepov, V.P., On Intelligent Computers and Large New-Generation Computer Systems, Izv. Ross. Akad. Nauk, Teor. Sist. Upr., 1996, no. 5.

  19. Kutepov, V.P. and Fal'k, V.N., Directed Relations: Theory and Applications, Izv. Ross. Akad. Nauk, Tekh. Kibern., 1994, no. 4–5.

  20. Kutepov, V.P. and Fal'k, V.N., Theory of Directed Relations and Logic, Izv. Ross. Akad. Nauk, Teor. Sist. Upr., 2000, no. 5.

  21. Kutepov, V.P. and Ul'yanovskii, I.I., Verification of the Functional Program Development Process.

  22. http://www.convex.com

  23. http://www.ibm.com

  24. http://www.llnl.gov/asci/

Download references

Author information

Authors and Affiliations

  1. Moscow Power Engineering Institute, ul. Krasnokazarmennaya 14, Moscow, 111250, Russia

    S. E. Bazhanov, V. P. Kutepov & D. A. Shestakov

Authors
  1. S. E. Bazhanov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. V. P. Kutepov
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. D. A. Shestakov
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

__________

Translated from Programmirovanie, Vol. 31, No. 5, 2005.

Original Russian Text Copyright © 2005 by Bazhanov, Kutepov, Shestakov.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bazhanov, S.E., Kutepov, V.P. & Shestakov, D.A. Functional Parallel Typified Language and Its Implementation on Clusters. Program Comput Soft 31, 237–269 (2005). https://doi.org/10.1007/s11086-005-0035-3

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11086-005-0035-3

Keywords

Search

Navigation