2026-06-29T01:18:59Zhttps://docta.ucm.es/rest/oai/request

oai:docta.ucm.es:20.500.14352/502352023-08-26T03:00:34Zcom_20.500.14352_14col_20.500.14352_15

Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics 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. 2023-06-20T09:42:56Z 2023-06-20T09:42:56Z 2023-06-20T09:42:56Z 2007 journal article https://hdl.handle.net/20.500.14352/50235 15710661 10.1016/j.entcs.2007.02.051 eng TIC200301000 restricted access Elsevier