|
Título:
|
Dealing Denotationally With Stream-based Communication
|
|
Autores:
|
Hidalgo Herrero, Mercedes ;
Ortega Mallén, Yolanda
|
|
Tipo de documento:
|
texto impreso
|
|
Editorial:
|
Elsevier, 2005
|
|
Dimensiones:
|
application/pdf
|
|
Nota general:
|
info:eu-repo/semantics/restrictedAccess
|
|
Idiomas:
|
|
|
Palabras clave:
|
Estado = Publicado
,
Materia = Ciencias: Informática: Programación de ordenadores
,
Tipo = Artículo
|
|
Resumen:
|
We define a denotational semantics for a kernel-calculus of the parallel functional language Eden.
We choose continuations to deal with side-effects (process creation and communication) in a lazy context. The calculus includes streams for communication, and their modelization by a denotational semantics is not direct because a stream may be infinite.
|
|
En línea:
|
https://eprints.ucm.es/id/eprint/17461/1/Ortega06.pdf
|
