Distributed Programming, a purely functional approach

Eleni Spiliopoulou, Ian Holyer, Neil Davies, Distributed Programming, a purely functional approach. Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming. ISBN 0-89791-918-1, pp. 1–1. June 1997. PDF, 49 Kbytes.


Many application programs are now distributed. Despite the number of distribution models, distributed programs still suffer from great complexity and therefore lack of resilience and trustability, mainly due to the non-deterministic underlying communication primitives. Based on the theory of deterministic concurrency, which preserves the declarative semantics and therefore ensures trustability, we outline a novel demand-driven computational model which allows for trustable distribution of computation.

Bibtex entry.

Contact details

Publication Admin