Biblioteca de la Universidad Complutense de Madrid

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


Hidalgo Herrero, Mercedes y Ortega Mallén, Yolanda y Rubio, Fernando (2007) Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages. In Implementation and Application of Functional Languages. Lecture Notes in Computer Science, 4449 . Board, Berlin, pp. 55-72. ISBN 978-3-540-74129-9

[img] PDF
Restringido a Sólo personal autorizado del repositorio hasta 2020.


URL Oficial:


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.

Tipo de documento:Sección de libro
Información Adicional:

18th International Symposium, IFL 2006 Budapest, Hungary, September 4-6, 2006 Revised Selected Papers

Palabras clave:Parallel functional programming; Skeletons; Semantics.
Materias:Ciencias > Matemáticas > Lógica simbólica y matemática
Código ID:17219

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,, (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)

Depositado:05 Dic 2012 09:40
Última Modificación:08 Jul 2015 08:08

Sólo personal del repositorio: página de control del artículo