Hidalgo Herrero, MercedesVerdejo López, José AlbertoOrtega Mallén, Yolanda2023-06-202023-06-2020071571066110.1016/j.entcs.2007.02.051https://hdl.handle.net/20.500.14352/50235Eden 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.engjournal articlehttp://www.sciencedirect.com/science/article/pii/S1571066107004021http://www.sciencedirect.comrestricted access004.42Operational semanticsParallel functional languagesEdenrewriting logicMauderewrite strategies.Programación de ordenadores (Informática)1203.23 Lenguajes de Programación