Hidalgo Herrero, MercedesOrtega Mallén, YolandaRubio, FernandoJoubert, G.R.Nagel, W.E.Peters, F.J.Plata, O.Tirado, P.Zapata, E.2023-06-202023-06-202006S. Breitinger, R. Loogen, Y. Ortega-Mallen, and R. Peña. Eden: Language definition and operational semantics. Technical Report 96/10, Reihe Informatik, FB Mathematik, Philipps-Universitat Marburg,Germany, URL http://www.mathematik.uni-marburg.de/»eden/, 1996 M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Martı-Oliet, J. Meseguer, and C. Talcott. Maude Manual (Version 2.1),March 2004. URL http://maude.cs.uiuc.edu/manual. M. Hidalgo-Herrero and Y. Ortega-Mallen. An operational semantics for the parallel language Eden.Parallel Processing Letters (World Scientific Publishing Company), 12(2):211–228, 2002. M. Hidalgo-Herrero, Alberto Verdejo, and Y. Ortega-Mallen. Looking for eden through maude and its strategies. In Proc. of the 5th Jornadas sobre Programacin y Lenguajes, 2005. To appear. G. Kahn and D. MacQueen. Coroutines and networks of parallel processes. In IFIP’77, pages 993–998.Eds. B. Gilchrist. North-Holland, 1977. Ulrike Klusik, Rita Loogen, Steffen Priebe, and Fernando Rubio. Implementation skeletons in eden:Low-effort parallel programming. In Proceedings of the 12th InternationalWorkshop on Implementation of Functional Languages, (IFL’00 selected papers), pages 71–88. LNCS 2011, Springer, 2001. R. Loogen, Y. Ortega-Mallen, R. Pea, S. Priebe, and F. Rubio. Patterns and Skeletons for Parallel and Distributed Computing, chapter 4: Parallelism Abstractions in den,pages 95–128. Eds. F. A. Rabhi and S. Gorlatch. Springer, 2002. R. Loogen, Y. Ortega-Mallen, and R. Peña Parallel functional programming in Eden. Journal of Functional Programming, 15(3):431–475, 2005.N. Martı-Oliet, J.Meseguer, and A. Verdejo. Towards a strategy language for Maude. In N. Martı-Oliet,editor, Proceedings Fifth International Workshop on Rewriting Logic and its pplications, WRLA 2004,Barcelona, Spain, March 27 – April 4, 2004, volume 117 of Electronic Notes in Theoretical Computer Science, pages 417–441. Elsevier, 2004. J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96(1):73–155, 1992. G. Michaelson. An Introduction to Functional Programming through Lambda Calculus. Addison-Wesley, 89. Peña F. Rubio, and C. Segura. Deriving non-hierarchical process topologies. In Trends in Functional Programming (Selected papers of the 3rd Scottish Functional Programming Workshop), volume 3, pages 51–62. Intellect, 2002. S. Peyton Jones. Haskell 98 language and libraries: the Revised Report. Cambridge University Press,2003. F. Rubio. Programaci´on funcional paralela eficiente en Eden. PhD thesis, Dept. Sistemas Informaticos y Programacion, Universidad Complutense de Madrid, 2001.3-00-017352-8https://hdl.handle.net/20.500.14352/53180Proceedings of the International Conference ParCo 2005,13-16 September 2005, Department of Computer Architecture, University of Malaga, Spain; 01/2005The functional language Eden facilitates a skeleton-based methodology for parallel programming. A key point in the efficiency of parallel programs is the distribution of computation among processes. In Eden, this is closely related to its order of evaluation. We describe here an ongoing project whose purpose is to use a prototype implementation of Eden’s operational semantics to investigate how alternative evaluation models may either improve or make worse the behavior of the skeletons implemented in Edenengbook parthttp://ftp.kfa-juelich.de/nic-series/volume33/843.pdfhttp://www.fz-juelich.de/nic-series/volume33restricted access004.42Programación de ordenadores (Informática)1203.23 Lenguajes de Programación