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 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. http://maude.cs.uiuc.edu/manual.Glasgow Haskell Compiler.http://www.haskell.org/ghc.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 http://maude.sip.ucm.es/eden, 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, 2005N. 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.
NO MCyT
NO MIDAS
DS Docta Complutense
RD 6 oct 2024