2026-07-31T10:59:36Zhttps://docta.ucm.es/rest/oai/request

oai:docta.ucm.es:20.500.14352/605922023-09-07T20:16:03Zcom_20.500.14352_14col_20.500.14352_21

A Distributed Operational Semantics for a Parallel Functional Language Hidalgo Herrero, Mercedes Ortega Mallén, Yolanda Gilmore, Stephen Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), University of St Andrews,Scotland, July 26th to 28th, 2000; 01/2000 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. 2023-06-20T21:03:53Z 2023-06-20T21:03:53Z 2000 book part 1-84150-058-5 https://hdl.handle.net/20.500.14352/60592 http://dl.acm.org/citation.cfm?id=719994 eng TIC97-0672 HB1999-0102 open access Intellect Books