¡Nos trasladamos! E-Prints cerrará el 7 de junio.

En las próximas semanas vamos a migrar nuestro repositorio a una nueva plataforma con muchas funcionalidades nuevas. En esta migración las fechas clave del proceso son las siguientes:

Es muy importante que cualquier depósito se realice en E-Prints Complutense antes del 7 de junio. En caso de urgencia para realizar un depósito, se puede comunicar a docta@ucm.es.

Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics



Downloads per month over past year

Hidalgo Herrero, Mercedes and Verdejo López, José Alberto and Ortega Mallén, Yolanda (2007) Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics. Electronic Notes in Theoretical Computer Science, 174 . pp. 119-137. ISSN 15710661

[thumbnail of Ortega10.pdf] PDF
Restringido a Repository staff only


Official URL: http://www.sciencedirect.com/science/article/pii/S1571066107004021


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.

Item Type:Article
Uncontrolled Keywords:Operational semantics; Parallel functional languages; Eden, rewriting logic; Maude; rewrite strategies.
Subjects:Sciences > Computer science > Computer programming
ID Code:17474
Deposited On:18 Dec 2012 09:25
Last Modified:18 Jul 2018 07:20

Origin of downloads

Repository Staff Only: item control page