A Distributed Operational Semantics for a Parallel Functional Language



Downloads per month over past year

Hidalgo Herrero, Mercedes and Ortega Mallén, Yolanda (2000) A Distributed Operational Semantics for a Parallel Functional Language. In Trends in Functional Programming. Intellect Books, Bristol, pp. 89-102. ISBN 1-84150-058-5

[thumbnail of Ortega09.pdf] PDF

Official URL: http://dl.acm.org/citation.cfm?id=719994


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.

Item Type:Book Section
Additional Information:

Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), University of St Andrews,Scotland, July 26th to 28th, 2000; 01/2000

Uncontrolled Keywords:Computer Science; Hardware & Architecture; Computer Science; Software Engineering
Subjects:Sciences > Computer science > Computer programming
ID Code:17470
Deposited On:18 Dec 2012 09:20
Last Modified:02 Sep 2020 10:11

Origin of downloads

Repository Staff Only: item control page