Person:
Hidalgo Herrero, Mercedes

First Name

Mercedes

Last Name

Hidalgo Herrero

URI

https://hdl.handle.net/20.500.14352/76816

Affiliation

Universidad Complutense de Madrid

Faculty / Institute

Educación-Centro Formación Profesor

Department

Didáctica de Ciencias Experimentales, Sociales y Matemáticas

Area

Didáctica de la Matemática

Identifiers

Full item page

Search Results

Now showing 1 - 10 of 25

Dealing Denotationally With Stream-based Communication
(Electronic Notes in Theoretical Computer Science, 2005) Hidalgo Herrero, Mercedes; Ortega Mallén, Yolanda
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.
A Cognitive-based Tool to Teach how to Teach
(2020) Encina Vara, Alberto De La; Garbayo Moreno, Martín Manuel; Hidalgo Herrero, Mercedes; Rabanal Basalo, Pablo Manuel; Rubio Díez, Fernando
Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics
(Electronic Notes in Theoretical Computer Science, 2007) Hidalgo Herrero, Mercedes; Verdejo López, José Alberto; Ortega Mallén, Yolanda
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 during the language design. In this paper we show how to implement in Maude the operational semantics of Eden in such a way that semantic rules can be modified easily. Moreover, other semantic features can be implemented by means of parameterized modules that allow to instantiate in different ways several parameters of the semantics but without modifying the semantic rules.
Project number: 311
Desarrollar una propuesta de enseñanza aprendizaje de Matemáticas y su Didáctica para la formación de Docentes considerando la diversidad funcional asociada a la discapacidad intelectual, mediante la intervención en el Proyecto Liceo
(2021) Sierra Delgado, Tomás Ángel; Hidalgo Herrero, Mercedes; Rodríguez Cartagena, María Isabel; Sánchez Freire, Enrique; Ruiz Olarría, Aicia; Morcillo Ortega, Juan Gabriel; Sánchez Alonso, Alberto; Tanarro Colodrón, David; Rojas Suárez, Carlos; Pastore Burgos, Agustín; Valero de Lara, Gema Teresa
PhDay Educación 2021. VII Jornadas de Investigación. Libro de Actas
(2021) Álvarez Couto, María; Gómez del Pulgar Cinque, Sandra; Moreno Jusdado, Débora; Redondo Corcobado, Paloma; Serrano Gregorio, Lydia; Alba Pastor, Carmen; Bautista García-Vera, Antonio; Canales Serrano, Antonio Francisco; Cremades Andreu, Roberto; Egido Gálvez, Inmaculada; García Ramos, José Manuel; Gaviria Soto, José Luis; Hidalgo Herrero, Mercedes; Jover Olmeda, Gonzalo; Morales Fernández, Ángela; Fuentes Gómez-Calcerrada, Juan Luis
Todas las contribuciones presentadas en este Libro de Actas forman parte de la evaluación de seguimiento de los doctorandos de segundo año a tiempo completo y tercer año a tiempo parcial del Programa de Doctorado en Educación de la Universidad Complutense de Madrid. Cada trabajo ha sido revisado formalmente por el Comité Organizador y valorado por los directores y tutores de tesis. Asimismo, cada doctorando ha recibido sugerencias de mejora de parte de otros estudiantes del Programa de Doctorado que han podido incluir antes de la finalización del presente documento.
A Distributed Operational Semantics for a Parallel Functional Language
(Trends in Functional Programming, 2000) Hidalgo Herrero, Mercedes; Ortega Mallén, Yolanda; Gilmore, Stephen
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.
Continutation Semantics for Parallel Haskell Dialects.
(Programming Languages and Systems: first Asian Symposium, APLAS 2003, Beijing, China, November 2003, 2003) Hidalgo Herrero, Mercedes; Ortega Mallén, Yolanda; Ohori, Atsushi
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 side-effects and parallelism. To verify the suitability of our model we have applied it to three programming languages that introduce parallelism in very different ways, but whose common functional kernel is the lazy functional language Haskell.
Towards Improving Skeletons in Eden.
(Parallel Computing: Current & Future Issues of High-End Computing, 2006) Hidalgo Herrero, Mercedes; Ortega Mallén, Yolanda; Rubio, Fernando; Joubert, G.R.; Nagel, W.E.; Peters, F.J.; Plata, O.; Tirado, P.; Zapata, E.
The functional language Eden facilitates a skeleton-based methodology for parallel programming. A key point in the efficiency of parallel programs is the distribution of computation among processes. In Eden, this is closely related to its order of evaluation. We describe here an ongoing project whose purpose is to use a prototype implementation of Eden’s operational semantics to investigate how alternative evaluation models may either improve or make worse the behavior of the skeletons implemented in Eden
Semánticas formales para un lenguaje funcional paralelo
(2005) Hidalgo Herrero, Mercedes; Ortega Mallén, Yolanda
Analyzing the influence of mixed evaluation on the performance of Eden skeletons.
(Parallel Computing, 2006) Hidalgo Herrero, Mercedes; Ortega Mallén, Yolanda; Rubio, Fernando
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 investigate how alternative evaluation models influence Eden skeletons performance using an implementation of Eden’s operational semantics. More concretely, we have chosen the parallel Divide-and-Conquer skeleton for our comparative analysis. Here we show the measures obtained for a simple program but using different mixed evaluation strategies, and we analyze the advantages and drawbacks of each of them.