Universidad Complutense de Madrid
E-Prints Complutense

Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics

Impacto

Downloads

Downloads per month over past year

Hidalgo Herrero, Mercedes and Verdejo López, José Alberto and Ortega Mallén, Yolanda (2007) Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics. Electronic Notes in Theoretical Computer Science, 174 . pp. 119-137. ISSN 15710661

[img] PDF
Restringido a Repository staff only

395kB

Official URL: http://www.sciencedirect.com/science/article/pii/S1571066107004021


URLURL Type
http://www.sciencedirect.comPublisher


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.


Item Type:Article
Uncontrolled Keywords:Operational semantics; Parallel functional languages; Eden, rewriting logic; Maude; rewrite strategies.
Subjects:Sciences > Computer science > Computer programming
ID Code:17474
Deposited On:18 Dec 2012 09:25
Last Modified:18 Jul 2018 07:20

Origin of downloads

Repository Staff Only: item control page