Parallel distributed programming with Haskell+PVM

  • Noel Winstanley
  • John O'Donnell
Workshop 07: Programming Models and Methods
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1300)


This paper presents a methodology to transform a pure functional specification into a distributed message-passing program via equational reasoning. The methodology uses a formal model of a message passing system. This abstract system can be implemented using PVM or MPI, and thus executable programs produced.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    R. Bird and P. Wadler. Introduction to Functional Programming. International Series in Computer Science. Prentice-Hall, 1987.Google Scholar
  2. 2.
    Jack J. Dongarra, Steve W. Otto, Marc Snir, and David Walker. An introduction to the MPI standard. Technical Report UT-CS-95-274, Department of Computer Science, University of Tennessee, January 1995. Tue, 1 Apr 97 18:13:17 GMT.Google Scholar
  3. 3.
    Al Geist, Adam Beguelin, Jack Dongarra, Weicheng Jiang, Robert Manchek, and Vaidy Sunderam. PVM 3 Users Guide and Reference manual. Oak Ridge National Laboratory, Oak Ridge, Tennessee 37831, May 94.Google Scholar
  4. 4.
    J. Peterson[editor], K. Hammond[editor], L. Augustsson, B. Boutel, W. Burton, J. Fasel, A. Gordon, J. Hughes, P. Hudak, T. Johnsson, M. Jones, S. Peyton Jones, A. Reid, and P. Wadler. Haskell 1.3, A non-strict, purely functional language. Report YALEU / DCS / RR-1106, Department of Computer Science, Yale University, May 1996.Google Scholar
  5. 5.
    P. Wadler. The essence of functional programming (invited talk). In Conference record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: papers presented at the symposium, Albuquerque, New Mexico, January 19–22, 1992, pages 1–14, New York, NY, USA, 1992. ACM Press. *** DIRECT SUPPORT *** A0008C42 00023Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Noel Winstanley
    • 1
  • John O'Donnell
    • 1
  1. 1.University of GlasgowUK

Personalised recommendations