Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages.
| dc.book.title | Implementation and Application of Functional Languages | |
| dc.contributor.author | Hidalgo Herrero, Mercedes | |
| dc.contributor.author | Ortega Mallén, Yolanda | |
| dc.contributor.author | Rubio, Fernando | |
| dc.contributor.editor | Horvath, Z. | |
| dc.contributor.editor | Zsok, V | |
| dc.contributor.editor | Butterfield, A. | |
| dc.date.accessioned | 2023-06-20T13:38:40Z | |
| dc.date.available | 2023-06-20T13:38:40Z | |
| dc.date.issued | 2007 | |
| dc.description | 18th International Symposium, IFL 2006 Budapest, Hungary, September 4-6, 2006 Revised Selected Papers | |
| dc.description.abstract | In 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.department | Sección Deptal. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Ciencias Matemáticas | |
| dc.description.refereed | TRUE | |
| dc.description.status | pub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/17219 | |
| dc.identifier.isbn | 978-3-540-74129-9 | |
| dc.identifier.officialurl | http://www.springerlink.com/content/x32366p003312016/fulltext.pdf | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/53175 | |
| dc.language.iso | eng | |
| dc.page.final | 72 | |
| dc.page.initial | 55 | |
| dc.page.total | 279 | |
| dc.publication.place | Berlin | |
| dc.publisher | Board | |
| dc.relation.ispartofseries | Lecture Notes in Computer Science | |
| dc.relation.projectID | TIC2003-07848-C02-01, | |
| dc.relation.projectID | TIC2003-01000 | |
| dc.relation.projectID | TIN200615660 | |
| dc.relation.projectID | C02-01 | |
| dc.relation.projectID | PAC06-0008. | |
| dc.rights.accessRights | restricted access | |
| dc.subject.cdu | 510.6 | |
| dc.subject.keyword | Parallel functional programming | |
| dc.subject.keyword | Skeletons | |
| dc.subject.keyword | Semantics. | |
| dc.subject.ucm | Lógica simbólica y matemática (Matemáticas) | |
| dc.subject.unesco | 1102.14 Lógica Simbólica | |
| dc.title | Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages. | |
| dc.type | book part | |
| dc.volume.number | 4449 | |
| dcterms.references | Baker-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) | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | bbedb91a-42c6-485f-96e8-d99df955f2c9 | |
| relation.isAuthorOfPublication | 7def0d88-f401-4de1-9a51-4f6c93e8234e | |
| relation.isAuthorOfPublication.latestForDiscovery | bbedb91a-42c6-485f-96e8-d99df955f2c9 |
Download
Original bundle
1 - 1 of 1