2026-06-01T07:32:52Zhttps://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 004.42 Operational semantics Parallel functional languages Eden rewriting logic Maude rewrite strategies. Programación de ordenadores (Informática) 1203.23 Lenguajes de Programación 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. MCyT MIDAS Sección Deptal. de Sistemas Informáticos y Computación Fac. de Ciencias Matemáticas TRUE pub 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 application/pdf Elsevier