Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages.

Simple item page
dc.book.titleImplementation and Application of Functional Languages
dc.contributor.authorHidalgo Herrero, Mercedes
dc.contributor.authorOrtega Mallén, Yolanda
dc.contributor.authorRubio, Fernando
dc.contributor.editorHorvath, Z.
dc.contributor.editorZsok, V
dc.contributor.editorButterfield, A.
dc.date.accessioned2023-06-20T13:38:40Z
dc.date.available2023-06-20T13:38:40Z
dc.date.issued2007
dc.description18th International Symposium, IFL 2006 Budapest, Hungary, September 4-6, 2006 Revised Selected Papers
dc.description.abstractIn parallel functional languages, like Eden, lazy and strict evaluation are commonly mixed. Thus, the parallel performance of these languages depends on the strategy used to fix the degrees of laziness/strictness. By using an implementation of Eden’s operational semantics,we analyze the influence of alternative evaluation models on Eden skeletons performance. In particular, we assess the performance of different implementations of a skeleton that uses stream-based communications.
dc.description.departmentSección Deptal. de Sistemas Informáticos y Computación
dc.description.facultyFac. de Ciencias Matemáticas
dc.description.refereedTRUE
dc.description.statuspub
dc.eprint.idhttps://eprints.ucm.es/id/eprint/17219
dc.identifier.citationBaker-Finch, C., King, D.J., Hall, J., Trinder, P.W.: An operational semantics for parallel call-by-need. Technical Report 99/1, Faculty of Mathematics and Computing,The Open University (1999) Breitinger, S., Loogen, R., Ortega -Mallen, Y., Peña, R.: Eden: Language definition and operational semantics. Technical Report 96/10, Reihe Informatik, FB Mathematik, Philipps-Universitat Marburg, Germany, http://www.mathematik.uni-marburg.de/eden/, (1996) Broy, M., Hinkel, U., Nipkow, T., Prehofer, C., Schieder, B.: Interpreter verification for a functional language. In: Thiagarajan, P.S. (ed.) Foundations of Software Technology and Theoretical Computer Science.LNCS, vol. 880, pp. 77–88. Springer,Heidelberg (1994) Hernandez, F., Peña, R., Rubio, F.: From GranSim to Paradise. Trends in Functional Programming (Selected papers of the First Scottish Functional Programming Workshop) 1,11–19 (2000) Hidalgo-Herrero, M., Ortega-Mallen, Y.: An operational semantics for the parallel language Eden. Parallel Processing Letters (World Scientific Publishing Company)12(2), 211–228 (2002) Hidalgo-Herrero, M., Ortega-Mallen, Y., Rubio, F.:Analyzing the influence of mixed evaluation on the performance of Eden skeletons. Parallel Computing 32(7-8), 523–538 (2006) Hidalgo-Herrero, M., Ortega-Mallen, Y., Rubio, F.: An integrated framework for comparing alternative semantics for parallel functional languages. In: Draft Proceedings of the 20th International Workshop on Implementation of King, D.J., Hall, J., Trinder, P.W.: A Strategic Profiler for Glasgow Parallel Haskell. In: Hammond, K., Davie, T., Clack, C. (eds.) IFL 1998. LNCS, vol. 1595,pp. 465–474. Springer, Heidelberg (1999) Klusik, U., Loogen, R., Priebe, S., Rubio,F.:Implementation skeletons in Eden:Low-effort parallel programming. In:Mohnen, M., Koopman, P. (eds.) IFL 2000.LNCS, vol. 2011, pp. 71–88. Springer, Heidelberg (2001) Loidl, H.W.: GranSim user’s guide. GRASP/AQUA Proyect,Glasgow University (1996) Loogen, R., Ortega-Mallen, Y., Peña, R., Priebe, S., Rubio, F.: Patterns and Skeletons for Parallel and Distributed Computing. In: Rabhi, F.A., Gorlatch, S. (eds.)Parallelism Abstractions in Eden, ch. 4, pp. 95–128. Springer,Heidelberg (2002) Loogen, R., Ortega-Mallen, Y., Peña, R.: Parallel functional programming in Eden.Journal of Functional Programming 15(3), 431–475 (2005) Peyton Jones, S.L. (ed.): Haskell 98 language and libraries: the Revised Report.Cambridge University Press, Cambridge (2003) Rubio, F.: Programacion funcional paralela eficiente en Eden. PhD thesis, Dept.Sistemas Informaticos y Programacion, Universidad Complutense deMadrid (2001) Trinder, P.W., Loidl, H.W., Pointon, R.F.: Parallel and Distributed Haskells. Journal of Functional Programming 12(4+5), 469–510 (2003)
dc.identifier.isbn978-3-540-74129-9
dc.identifier.officialurlhttp://www.springerlink.com/content/x32366p003312016/fulltext.pdf
dc.identifier.urihttps://hdl.handle.net/20.500.14352/53175
dc.language.isoeng
dc.page.final72
dc.page.initial55
dc.page.total279
dc.publication.placeBerlin
dc.publisherBoard
dc.relation.ispartofseriesLecture Notes in Computer Science
dc.relation.projectIDTIC2003-07848-C02-01,
dc.relation.projectIDTIC2003-01000
dc.relation.projectIDTIN200615660
dc.relation.projectIDC02-01
dc.relation.projectIDPAC06-0008.
dc.rights.accessRightsrestricted access
dc.subject.cdu510.6
dc.subject.keywordParallel functional programming
dc.subject.keywordSkeletons
dc.subject.keywordSemantics.
dc.subject.ucmLógica simbólica y matemática (Matemáticas)
dc.subject.unesco1102.14 Lógica Simbólica
dc.titleComparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages.
dc.typebook part
dc.volume.number4449
dspace.entity.typePublication
relation.isAuthorOfPublicationbbedb91a-42c6-485f-96e8-d99df955f2c9
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:
Ortega03.pdf
Size:
541.71 KB
Format:
Adobe Portable Document Format
Download
Collections
Secciones de libros