Información del autor
Documentos disponibles escritos por este autor (13)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
The functional parallel language Eden — suitable for the description of parallel and concurrent algorithms in a distributed setting — is an extension of Haskell with a set of coordination features. In this paper we present a formal operational s[...]texto impreso
A key point in the efficiency of parallel programs is the distribution of computation among processes. Haskell parallel dialects—like Eden—use mixed lazy and strict evaluation, and parallel performance is determined by the strategy used. We inve[...]texto impreso
In parallel functional languages, like Eden, lazy and strict evaluation are commonly mixed. Thus, the parallel performance of these languages depends on the strategy used to fix the degrees of laziness/strictness. By using an implementation of E[...]texto impreso
The aim of the present work is to compare, from a formal semantic basis, the different approaches to the parallelization of functional programming languages. For this purpose, we define a continuation semantics model which allows us to deal with[...]texto impreso
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 commun[...]texto impreso
Hidalgo Herrero, Mercedes | 2015-02-16Memoria del Proyecto de Innovación y Mejora de la Calidad Docente 160 correspondiente a la convocatoria 2014: Desarrollo de una aplicación (App) para plataformas móviles para mejorar la enseñanza/aprendizaje de sistemas de numeración en la forma[...]texto impreso
Hidalgo Herrero, Mercedes ; Garbayo Moreno, Martín Manuel ; Encina Vara, Alberto de la ; Rabanal Basalo, Pablo ; Rodríguez Laguna, Ismael ; Rubio Díez, Fernando | 2016-01-24Memoria del proyecto de innovación y mejora de la calidad docente 126 de la convocatoria de 2015 de la Universidad Complutense de Madrid. Se desarrolls una aplicación (App) para plataformas móviles para mejorar la enseñanza/aprendizaje de sistem[...]texto impreso
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 interpl[...]texto impreso
texto impreso
In order to prove the computational adequacy of the (operational)natural semantics for lazy evaluation with respect to a standard denotational semantics, Launchbury defines a resourced denotational semantics. This should be equivalent to the sta[...]texto impreso
Encina Vara, Alberto de la ; Hidalgo Herrero, Mercedes ; Llana Díaz, Luis Fernando ; Rubio Díez, Fernando | MDPI | 2020-05-26It is not easy to debug lazy functional programs. The reason is that laziness and higherorder complicates basic debugging strategies. Although there exist several debuggers for sequential lazy languages, dealing with parallel languages is much h[...]texto impreso
texto impreso
Eden is a parallel extension of the functional language Haskell. On behalf of parallelism Eden overrides Haskell’s pure lazy approach, combining a non-strict functional application with eager process creation and eager communication. We desire t[...]
