2026-07-30T06:03:31Zhttps://docta.ucm.es/rest/oai/requestoai:docta.ucm.es:20.500.14352/605922023-09-07T20:16:03Zcom_20.500.14352_14col_20.500.14352_21
Docta Complutense
author
Hidalgo Herrero, Mercedes
author
Ortega Mallén, Yolanda
editor
Gilmore, Stephen
2023-06-20T21:03:53Z
2023-06-20T21:03:53Z
2000
1-84150-058-5
https://hdl.handle.net/20.500.14352/60592
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.
eng
A Distributed Operational Semantics for a Parallel Functional Language
book part
URL
https://docta.ucm.es/bitstreams/bdd9e63b-2f7e-4673-8adf-b2a06ec26d3e/download
File
MD5
e8b20cfe3159f683a8e656b796f68b8a
69836
application/pdf
Ortega09.pdf