RT Journal Article
T1 To be or not to be. . . lazy (In a Parallel Context)1
A1 Hidalgo Herrero, Mercedes
A1 Ortega Mallén, Yolanda
AB Laziness restricts the exploitation of parallelism because expressions are evaluated only on demand.Thus, parallel extensions of lazy functional languages, like Haskell, usually override laziness to someextent. The purpose of the present work is to analyze how and to which extent strictness shouldbe introduced in a lazy language to design a parallel extension of it. Towards this end, we haveconsidered different evaluation strategies mixing laziness and eagerness for the language Eden —a parallel extension of Haskell—, we have given formal definitions for each, and we have implemented them in an interpreter to be able to run examples with alternative evaluation models, so that we can observe the intermediate and final states of the processes in the system, in terms of heaps of closures. Although the study is based on Eden, the concepts involved and the conclusions that we have obtained can be transferred to other parallel and functional languages.
PB Elsevier
SN 1571-0661
YR 2009
FD 2009
LK https://hdl.handle.net/20.500.14352/50207
UL https://hdl.handle.net/20.500.14352/50207
LA eng
DS Docta Complutense
RD 7 abr 2025