Título:
|
A Distributed Operational Semantics for a Parallel Functional Language
|
Autores:
|
Hidalgo Herrero, Mercedes ;
Ortega Mallén, Yolanda
|
Tipo de documento:
|
texto impreso
|
Editorial:
|
Intellect Books, 2000
|
Dimensiones:
|
application/pdf
|
Nota general:
|
info:eu-repo/semantics/openAccess
|
Idiomas:
|
|
Palabras clave:
|
Estado = Publicado
,
Materia = Ciencias: Informática: Programación de ordenadores
,
Tipo = Sección de libro
|
Resumen:
|
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.
|
En línea:
|
https://eprints.ucm.es/id/eprint/17470/1/Ortega09.pdf
|