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

Simple item page
dc.contributor.authorHidalgo Herrero, Mercedes
dc.contributor.authorVerdejo López, José Alberto
dc.contributor.authorOrtega Mallén, Yolanda
dc.date.accessioned2023-06-20T09:42:56Z
dc.date.available2023-06-20T09:42:56Z
dc.date.issued2007
dc.description.abstractEden 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.
dc.description.departmentSección Deptal. de Sistemas Informáticos y Computación
dc.description.facultyFac. de Ciencias Matemáticas
dc.description.refereedTRUE
dc.description.sponsorshipMCyT
dc.description.sponsorshipMIDAS
dc.description.statuspub
dc.eprint.idhttps://eprints.ucm.es/id/eprint/17474
dc.identifier.citationC. 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, 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.
dc.identifier.doi10.1016/j.entcs.2007.02.051
dc.identifier.issn15710661
dc.identifier.officialurlhttp://www.sciencedirect.com/science/article/pii/S1571066107004021
dc.identifier.relatedurlhttp://www.sciencedirect.com
dc.identifier.urihttps://hdl.handle.net/20.500.14352/50235
dc.journal.titleElectronic Notes in Theoretical Computer Science
dc.language.isoeng
dc.page.final137
dc.page.initial119
dc.publisherElsevier
dc.relation.projectIDTIC200301000
dc.rights.accessRightsrestricted access
dc.subject.cdu004.42
dc.subject.keywordOperational semantics
dc.subject.keywordParallel functional languages
dc.subject.keywordEden
dc.subject.keywordrewriting logic
dc.subject.keywordMaude
dc.subject.keywordrewrite strategies.
dc.subject.ucmProgramación de ordenadores (Informática)
dc.subject.unesco1203.23 Lenguajes de Programación
dc.titleUsing Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics
dc.typejournal article
dc.volume.number174
dspace.entity.typePublication
relation.isAuthorOfPublicationbbedb91a-42c6-485f-96e8-d99df955f2c9
relation.isAuthorOfPublicationfdcba7f2-108a-46f4-bf49-c292a5b81953
relation.isAuthorOfPublication7def0d88-f401-4de1-9a51-4f6c93e8234e
relation.isAuthorOfPublication.latestForDiscoverybbedb91a-42c6-485f-96e8-d99df955f2c9
Download
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
Ortega10.pdf
Size:
386.37 KB
Format:
Adobe Portable Document Format
Download
Collections
Artículos