A Distributed Operational Semantics for a Parallel Functional Language
Loading...
Download
Official URL
Full text at PDC
Publication date
2000
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Intellect Books
Citations
Exportar
Citation
Abstract
We present an operational semantics for a functional parallel language with explicit process creation and implicit message-passing communication. The semantics is based on a distributed memory model and is effective for investigating the interplay between laziness and eagerness in the language, as well as for measuring speculative parallelism.
Description
Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), University of St Andrews,Scotland, July 26th to 28th, 2000; 01/2000