Parallel distributed programming with Haskell+PVM
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.
- 1.R. Bird and P. Wadler. Introduction to Functional Programming. International Series in Computer Science. Prentice-Hall, 1987.Google Scholar
- 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.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.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.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