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

Thumbnail Image
Full text at PDC
Publication Date
Advisors (or tutors)
Journal Title
Journal ISSN
Volume Title
Google Scholar
Research Projects
Organizational Units
Journal Issue
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.
C. Baker-Finch, D. King, and P. Trinder. An operational semantics for parallel lazy evaluation. In ACM-SIGPLAN International Conference on Functional Programming (ICFP’00), pp. 162–173, 2000. A. Bouhoula, J.-P. Jouannaud, and J. Meseguer.Specification and proof in membership equational logic. Theoretical Computer Science, 236:35–132, 2000. M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Martı-Oliet, J. Meseguer, and C. Talcott. Maude Manual (Version 2.2), 2005. Haskell Compiler. M. Hidalgo-Herrero. Semanticas formales para un lenguaje funcional paralelo. PhD thesis, Universidad Complutense de Madrid, 2004. M. Hidalgo-Herrero and Y. Ortega-Mallen. An operational semantics for the parallel language Eden. Parallel Processing Letters, 12(2):211–228, 2002. M. Hidalgo-Herrero, A. Verdejo, and Y. Ortega-Mallen.Looking for Eden through Maude and its strategies. Web page, 2006. U. Klusik, Y. Ortega-Mall´en, and R. Peña. Implementing Eden - or: Dreams become reality. In Selected Papers 10th Int. Workshop on Implementation of Functional Languages (IFL’98), LNCS 1595, pp.103–119. Springer, 1999. J. Launchbury. A natural semantics for lazy evaluation. In ACM Symposium on Principles of Programming Languages,POPL’93, pp. 144–154. ACM Press, 1993. R. Loogen. Research Directions in Parallel Functional Programming. In K. Hammond and G.Michaelson, eds.,Programming Language Constructs, pp. 63–92.Springer,1999. R. Loogen, Y. Ortega-Mall´en, and R. Peña-Marı. Parallel functional programming in Eden. Journal of Functional Programming, 15(3):431–445, 2005 N. Marti-Oliet and J. Meseguer. Rewriting logic as a logical and semantic framework. In D. M. Gabbay and F. Guenthner, eds., Handbook of Philosophical Logic, Second Edition, Volume 9, pp. 1–87. Kluwer,2002. N. Martı-Oliet, J. Meseguer, and A. Verdejo. Towards a strategy language for Maude. In N. Martı-Oliet, ed., Proc. Fifth Int. Workshop on Rewriting Logic and its Applications, WRLA 2004, ENTCS 117, pp. 417–441. Elsevier, 2004. J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96(1):73–155, 1992. S. Peyton Jones. Haskell 98 language and libraries: the Revised Report. Cambridge University Press,2003. F. Rosa-Velardo, C. Segura, and A. Verdejo. Typed mobile ambients in Maude. In H. Cirstea and N. Martı-Oliet, eds., Proc. 6th Int. Workshop on Rule-Based Programming, RULE 2005, ENTCS 147,pp. 135–161. Elsevier, 2006. F. Rubio. Programacion funcional paralela eficiente en Eden. PhD thesis, Universidad Complutense de Madrid, 2001. A. Verdejo and N. Martı-Oliet. Implementing CCS in Maude 2. In F. Gadducci and U. Montanari,eds., Proc. Fourth Int. Workshop on Rewriting Logic and its Applications, WRLA 2002, ENTCS 71,pp. 239–257. Elsevier, 2002.