Using Maude and its strategies for defining a framework for analyzing Eden semantics

In S. Antoy, editor, The Sixth International Workshop on Reduction Strategies in Rewriting and Programming, WRS06, ENTCS 174(10), pages 119-137. Elsevier, 2007.

Abstract: 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.

[pdf]

@inproceedings{HidalgoVerdejoOrtega06,
	Author = {Mercedes Hidalgo-Herrero and Alberto Verdejo and Yolanda Ortega-Mall{\'e}n},
	Title = {Using {Maude} and its strategies for defining a framework for analyzing {Eden} semantics},
	Booktitle = {The Sixth International Workshop on Reduction Strategies in 
	             Rewriting and Programming, WRS'06},
	Editor = {Sergio Antoy},
	Publisher = {Elsevier},
	Series = {Electronic Notes in Theoretical Computer Science},
	Number = {10},
	Volume = {174},
	Pages = {119-137},
	Year = {2007}}