{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:53:39Z","timestamp":1725512019543},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540693291"},{"type":"electronic","value":"9783540693307"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/978-3-540-69330-7_19","type":"book-chapter","created":{"date-parts":[[2007,5,14]],"date-time":"2007-05-14T21:16:20Z","timestamp":1179177380000},"page":"274-288","source":"Crossref","is-referenced-by-count":3,"title":["Testing Speculative Work in a Lazy\/Eager Parallel Functional Language"],"prefix":"10.1007","author":[{"given":"Alberto","family":"de la Encina","sequence":"first","affiliation":[]},{"given":"Ismael","family":"Rodr\u00edguez","sequence":"additional","affiliation":[]},{"given":"Fernando","family":"Rubio","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/3-540-45361-X_11","volume-title":"Implementation of Functional Languages","author":"O. Chitil","year":"2001","unstructured":"Chitil, O., Runciman, C., Wallace, M.: Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs. In: Mohnen, M., Koopman, P. (eds.) IFL 2000. LNCS, vol.\u00a02011, pp. 176\u2013193. Springer, Heidelberg (2001)"},{"key":"19_CR2","volume-title":"Algorithmic Skeletons: Structure Management of Parallel Computations","author":"M. Cole","year":"1989","unstructured":"Cole, M.: Algorithmic Skeletons: Structure Management of Parallel Computations. MIT Press, Cambridge (1989) Research Monographs in Parallel and Distributed Computing"},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1016\/j.parco.2003.12.002","volume":"30","author":"M. Cole","year":"2004","unstructured":"Cole, M.: Bringing skeletons out of the closet: A pragmatic manifesto for skeletal parallel programming. Parallel Computing\u00a030, 389\u2013406 (2004)","journal-title":"Parallel Computing"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/11560647_14","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2005","author":"A. Encina","year":"2005","unstructured":"Encina, A., Llana, L., Rubio, F.: Formalizing the debugging process in Haskell. In: Van Hung, D., Wirsing, M. (eds.) ICTAC 2005. LNCS, vol.\u00a03722, pp. 211\u2013226. Springer, Heidelberg (2005)"},{"key":"19_CR5","unstructured":"Gill, A.: Debugging Haskell by observing intermediate data structures. In: Proceedings of the 4th Haskell Workshop. Tech. Rep. University of Nottingham (2000)"},{"key":"19_CR6","unstructured":"Hern\u00b4andez, F., Pe\u00f1a, R., Rubio, F.: From GranSim to Paradise. In: Scottish Functional Programming Workshop, SFP 1999, pp. 11\u201319. Intellect (2000)"},{"key":"19_CR7","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":"19_CR8","unstructured":"Klusik, U., Pe\u00f1a, R., Rubio, F.: Replicated workers in Eden. In: Constructive Methods for Parallel Programming, CMPP 2000, pp. 143\u2013164. Nova Science (2000)"},{"key":"19_CR9","first-page":"139","volume-title":"Computer Algebra Symbolic and Algebraic Computation","author":"M. Lauer","year":"1982","unstructured":"Lauer, M.: Computing by homomorphic images. In: Computer Algebra Symbolic and Algebraic Computation, pp. 139\u2013168. Springer, Heidelberg (1982)"},{"key":"19_CR10","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1145\/800204.806309","volume-title":"Symposium on Symbolic and Algebraic Manipulation, SYMSAM 1971","author":"J.D. Lipson","year":"1971","unstructured":"Lipson, J.D.: Chinese remainder and interpolation algorithms. In: Symposium on Symbolic and Algebraic Manipulation, SYMSAM 1971, pp. 372\u2013391. Academic Press, London (1971)"},{"key":"19_CR11","unstructured":"Loidl, H.W.: Gransim user\u2019s guide. Department of Computing Science. University of Glasgow (1996)"},{"issue":"3","key":"19_CR12","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/A:1025641323400","volume":"16","author":"H.W. Loidl","year":"2003","unstructured":"Loidl, H.W., Rubio, F., Scaife, N., Hammond, K., Horiguchi, S., Klusik, U., Loogen, R., Michaelson, G.J., Pe\u00f1a, R., Reb\u00f3n Portillo, \u00c1.J., Priebe, S., Trinder, P.W.: Comparing parallel functional languages: Programming and performance. Higher- Order and Symbolic Computation\u00a016(3), 203\u2013251 (2003)","journal-title":"Higher- Order and Symbolic Computation"},{"key":"19_CR13","first-page":"95","volume-title":"Patterns and Skeletons for Parallel and Distributed Computing","author":"R. Loogen","year":"2002","unstructured":"Loogen, R., Ortega-Mall\u00e9n, Y., Pe\u00f1a, R., Priebe, S., Rubio, F.: Parallelism abstractions in Eden. In: Rabhi, F.A., Gorlatch, S. (eds.) Patterns and Skeletons for Parallel and Distributed Computing, pp. 95\u2013128. Springer, Heidelberg (2002)"},{"key":"19_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-61055-3_27","volume-title":"Programming Languages and Systems - ESOP \u201996","author":"S.L. Peyton Jones","year":"1996","unstructured":"Peyton Jones, S.L.: Compiling Haskell by program transformation: A report from the trenches. In: Riis Nielson, H. (ed.) ESOP 1996. LNCS, vol.\u00a01058, pp. 18\u201344. Springer, Heidelberg (1996)"},{"key":"19_CR15","unstructured":"Peyton Jones, S.L., Hughes, J.: Report on the programming language Haskell 98. Technical report (February 1999), http:\/\/www.haskell.org"},{"key":"19_CR16","volume-title":"LU Decomposition and Its Applications","author":"W. Press","year":"1992","unstructured":"Press, W., Teukolsky, S., Vetterling, W., Flannery, B.: Numerical Recipes in C the Art of Scientific Computing. In: LU Decomposition and Its Applications, 2nd edn. Cambridge University Press, Cambridge (1992)","edition":"2"},{"issue":"4-5","key":"19_CR17","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1017\/S0956796802004343","volume":"12","author":"R.F. Pointon","year":"2002","unstructured":"Pointon, R.F., Trinder, P.W., Loidl, H.W.: Parallel and distributed Haskells. Journal of Functional Programming\u00a012(4-5), 469\u2013510 (2002)","journal-title":"Journal of Functional Programming"},{"key":"19_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1002","DOI":"10.1007\/3-540-44862-4_108","volume-title":"Computational Science \u2013 ICCS 2003","author":"F. Rubio","year":"2003","unstructured":"Rubio, F., Rodr\u00edguez, I.: A parallel framework for computational science. In: Sloot, P.M.A., Abramson, D., Bogdanov, A.V., Gorbachev, Y.E., Dongarra, J., Zomaya, A.Y. (eds.) ICCS 2003. LNCS, vol.\u00a02658, pp. 1002\u20131011. Springer, Heidelberg (2003)"},{"issue":"4","key":"19_CR19","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1017\/S0956796804005489","volume":"15","author":"N. Scaife","year":"2005","unstructured":"Scaife, N., Horiguchi, S., Michaelson, G., Bristow, P.: A parallel SML compiler based on algorithmic skeletons. J. Functional Programming\u00a015(4), 615\u2013650 (2005)","journal-title":"J. Functional Programming"},{"key":"19_CR20","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/231379.231392","volume-title":"Programming Language Design and Implementation, PLDI 1996","author":"P.W. Trinder","year":"1996","unstructured":"Trinder, P.W., Hammond, K., Mattson Jr., J.S., Partridge, A.S., Peyton Jones, S.L.: GUM: a portable parallel implementation of Haskell. In: Programming Language Design and Implementation, PLDI 1996, pp. 79\u201388. ACM Press, New York (1996)"},{"issue":"1","key":"19_CR21","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1017\/S0956796897002967","volume":"8","author":"P.W. Trinder","year":"1998","unstructured":"Trinder, P.W., Hammond, K., Loidl, H.-W., Peyton Jones, S.L.: Algorithm + Strategy = Parallelism. Journal of Functional Programming\u00a08(1), 23\u201360 (1998)","journal-title":"Journal of Functional Programming"}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69330-7_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T00:18:47Z","timestamp":1556410727000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69330-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540693291","9783540693307"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69330-7_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}