TY  - JOUR
AU  - Hidalgo Herrero, Mercedes
AU  - Verdejo López, José Alberto
AU  - Ortega Mallén, Yolanda
PY  - 2007
DO  - 10.1016/j.entcs.2007.02.051
SN  - 15710661
UR  - https://hdl.handle.net/20.500.14352/50235
T2  - Electronic Notes in Theoretical Computer Science
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...
LA  - eng
M2  - 119
PB  - Elsevier
KW  - Operational semantics
KW  - Parallel functional languages
KW  - Eden
KW  - rewriting logic
KW  - Maude
KW  - rewrite strategies.
TI  - Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics
TY  - journal article
VL  - 174
ER  -