Mercedes Hidalgo-Herrero

Learn More
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.
Launchbury defines a natural semantics for lazy evaluation and proposes an alternative call-by-name version which introduces indirections and does not update closures. These changes in the semantic rules are not so innocuous as they seem, so that the equivalence of both semantics is not straightforward. We separate the two modifications and define two(More)
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 to investigate alternative semantics for Eden in order to analyze the consequences of some of the decisions adopted(More)
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 standard one when given infinite resources, but this fact cannot be so directly established, because each semantics(More)
In this paper we present an experiment designed to test whether an automatic system can learn a set of rules in a similar way as human beings learn the same set of rules. In order to do that, we have conducted two experiments. The first of them has been done with a group of seventy people, while the second one has been done by running an automatic learning(More)