{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:34:52Z","timestamp":1725489292093},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540741299"},{"type":"electronic","value":"9783540741305"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74130-5_4","type":"book-chapter","created":{"date-parts":[[2007,8,13]],"date-time":"2007-08-13T11:32:56Z","timestamp":1187004776000},"page":"55-72","source":"Crossref","is-referenced-by-count":1,"title":["Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages"],"prefix":"10.1007","author":[{"given":"Mercedes","family":"Hidalgo-Herrero","sequence":"first","affiliation":[]},{"given":"Yolanda","family":"Ortega-Mall\u00e9n","sequence":"additional","affiliation":[]},{"given":"Fernando","family":"Rubio","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"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)"},{"key":"4_CR2","unstructured":"Breitinger, S., Loogen, R., Ortega -Mall\u00e9n, Y., Pe\u00f1a, R.: Eden: Language definition and operational semantics. Technical Report 96\/10, Reihe Informatik, FB Mathematik, Philipps-Universit\u00e4t Marburg, Germany (1996), \n                  \n                    http:\/\/www.mathematik.uni-marburg.de\/~eden\/"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/3-540-58715-2_115","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"M. Broy","year":"1994","unstructured":"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.\u00a0880, pp. 77\u201388. Springer, Heidelberg (1994)"},{"key":"4_CR4","unstructured":"Hern\u00e1ndez, F.: Pe\u00f1a, R., Rubio, F.: From GranSim to Paradise. In: Trends in Functional Programming (Selected papers of the First Scottish Functional Programming Workshop)\u00a0vol. 1, pp. 11\u201319 (2000)"},{"issue":"2","key":"4_CR5","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1142\/S0129626402000938","volume":"12","author":"M. Hidalgo-Herrero","year":"2002","unstructured":"Hidalgo-Herrero, M., Ortega-Mall\u00e9n, Y.: An operational semantics for the parallel language Eden. Parallel Processing Letters\u00a012(2), 211\u2013228 (2002)","journal-title":"Parallel Processing Letters"},{"issue":"7-8","key":"4_CR6","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1016\/j.parco.2006.08.006","volume":"32","author":"M. Hidalgo-Herrero","year":"2006","unstructured":"Hidalgo-Herrero, M., Ortega-Mall\u00e9n, Y., Rubio, F.: Analyzing the influence of mixed evaluation on the performance of Eden skeletons. Parallel Computing\u00a032(7-8), 523\u2013538 (2006)","journal-title":"Parallel Computing"},{"key":"4_CR7","unstructured":"Hidalgo-Herrero, M., Ortega-Mall\u00e9n, 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 Functional Languages, IFL 2006 (2006)"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/3-540-48515-5_6","volume-title":"Implementation of Functional Languages","author":"D.J. King","year":"1999","unstructured":"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.\u00a01595, pp. 465\u2013474. Springer, Heidelberg (1999)"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/3-540-45361-X_5","volume-title":"Implementation of Functional Languages","author":"U. Klusik","year":"2001","unstructured":"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.\u00a02011, pp. 71\u201388. Springer, Heidelberg (2001)"},{"key":"4_CR10","unstructured":"Loidl, H.W.: GranSim user\u2019s guide. GRASP\/AQUA Proyect, Glasgow University (1996)"},{"key":"4_CR11","first-page":"95","volume-title":"Parallelism Abstractions in Eden","author":"R. Loogen","year":"2002","unstructured":"Loogen, R., Ortega-Mall\u00e9n, Y., Pe\u00f1a, 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\u2013128. Springer, Heidelberg (2002)"},{"issue":"3","key":"4_CR12","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1017\/S0956796805005526","volume":"15","author":"R. Loogen","year":"2005","unstructured":"Loogen, R., Ortega-Mall\u00e9n, Y., Pe\u00f1a, R.: Parallel functional programming in Eden. Journal of Functional Programming\u00a015(3), 431\u2013475 (2005)","journal-title":"Journal of Functional Programming"},{"volume-title":"Haskell 98 language and libraries: the Revised Report","year":"2003","key":"4_CR13","unstructured":"Peyton Jones, S.L.: Haskell 98 language and libraries: the Revised Report. Cambridge University Press, Cambridge (2003)"},{"key":"4_CR14","unstructured":"Rubio, F.: Programaci\u00f3n funcional paralela eficiente en Eden. PhD thesis, Dept. Sistemas Inform\u00e1ticos y Programaci\u00f3n, Universidad Complutense de Madrid (2001)"},{"issue":"4+5","key":"4_CR15","first-page":"469","volume":"12","author":"P.W. Trinder","year":"2003","unstructured":"Trinder, P.W., Loidl, H.W., Pointon, R.F.: Parallel and Distributed Haskells. Journal of Functional Programming\u00a012(4+5), 469\u2013510 (2003)","journal-title":"Journal of Functional Programming"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Functional Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74130-5_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:11:47Z","timestamp":1619503907000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74130-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540741299","9783540741305"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74130-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}