RT Journal Article
T1 Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics
A1 Hidalgo Herrero, Mercedes
A1 Verdejo López, José Alberto
A1 Ortega Mallén, Yolanda
AB Eden is a parallel extension of the functional language Haskell. On behalf of parallelism Eden overridesHaskell’s pure lazy approach, combining a non-strict functional application with eager process creationand 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.
PB Elsevier
SN 15710661
YR 2007
FD 2007
LK https://hdl.handle.net/20.500.14352/50235
UL https://hdl.handle.net/20.500.14352/50235
LA eng
NO MCyT
NO MIDAS
DS Docta Complutense
RD 4 abr 2025