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.
CITATION STYLE
Winstanley, N., & O’Donneil, J. (1997). Parallel distributed programming with haskell+PVM. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1300 LNCS, pp. 670–677). Springer Verlag. https://doi.org/10.1007/bfb0002798
Mendeley helps you to discover research relevant for your work.