{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:17:07Z","timestamp":1742995027154,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319221823"},{"type":"electronic","value":"9783319221830"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-22183-0_5","type":"book-chapter","created":{"date-parts":[[2015,7,27]],"date-time":"2015-07-27T11:55:37Z","timestamp":1437998137000},"page":"62-76","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Weaving Parallel Threads"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Manuel","family":"Calder\u00f3n Trilla","sequence":"first","affiliation":[]},{"given":"Simon","family":"Poulding","sequence":"additional","affiliation":[]},{"given":"Colin","family":"Runciman","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,28]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Augustsson, L., Johnsson, T.: Parallel graph reduction with the $$\\langle v, G \\rangle $$-machine. In: Proceedings of the Fourth International Conference on Functional Programming Languages and Computer Architecture. FPCA 1989, pp. 202\u2013213. ACM, New York (1989)","DOI":"10.1145\/99370.99386"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0167-6423(86)90010-9","volume":"7","author":"GL Burn","year":"1986","unstructured":"Burn, G.L., Hankin, C., Abramsky, S.: Strictness analysis for higher-order functions. Sci. Comput. program. 7, 249\u2013278 (1986)","journal-title":"Sci. Comput. program."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Calder\u00f3n Trilla, J.M., Runciman, C.: Improving implicit parallelism. In: Proceedings of the ACM SIGPLAN Symposium on Haskell. Haskell 2015 (2015). Under submission","DOI":"10.1145\/2804302.2804308"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Clack, C., Peyton Jones, S.: The four-stroke reduction engine. In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, pp. 220\u2013232. ACM (1986)","DOI":"10.1145\/319838.319865"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/3-540-15975-4_28","volume-title":"Functional Programming Languages and Computer Architecture","author":"C Clack","year":"1985","unstructured":"Clack, C., Peyton Jones, S.L.: Strictness analysis-a practical approach. In: Jouannaud, J.-P. (ed.) Functional Programming Languages and Computer Architecture. LNCS, vol. 201, pp. 35\u201349. Springer, Heidelberg (1985)"},{"key":"5_CR6","unstructured":"Hammond, K.: Parallel functional programming: an introduction (1994). http:\/\/www-fp.dcs.st-and.ac.uk\/~kh\/papers\/pasco94\/pasco94.html"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Hammond, K., Michelson, G.: Research Directions in Parallel Functional Programming. Springer-Verlag (2000)","DOI":"10.1007\/978-1-4471-0841-2"},{"issue":"9","key":"5_CR8","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1145\/1291220.1291192","volume":"42","author":"T Harris","year":"2007","unstructured":"Harris, T., Singh, S.: Feedback directed implicit parallelism. SIGPLAN Not. 42(9), 251\u2013264 (2007). http:\/\/doi.acm.org\/10.1145\/1291220.1291192","journal-title":"SIGPLAN Not."},{"key":"5_CR9","unstructured":"Hinze, R.: Projection-based strictness analysis: theoretical and practical aspects. Inaugural dissertation, University of Bonn (1995)"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1007\/3-540-55253-7_15","volume-title":"ESOP 1992","author":"G Hogen","year":"1992","unstructured":"Hogen, G., Kindler, A., Loogen, R.: Automatic parallelization of lazy functional programs. In: Krieg-Br\u00fcckner, B. (ed.) ESOP 1992. LNCS, vol. 582, pp. 254\u2013268. Springer, Heidelberg (1992)"},{"issue":"2","key":"5_CR11","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1093\/comjnl\/32.2.98","volume":"32","author":"J Hughes","year":"1989","unstructured":"Hughes, J.: Why functional programming matters. Comput. J. 32(2), 98\u2013107 (1989)","journal-title":"Comput. J."},{"key":"5_CR12","unstructured":"Hughes, R.J.M.: The design and implementation of programming languages. Ph.D. thesis, Programming Research Group, Oxford University, July 1983"},{"key":"5_CR13","unstructured":"Jones, M., Hudak, P.: Implicit and explicit parallel programming in haskell (1993). Distributed via FTP at http:\/\/nebula.systemsz.cs.yale.edu\/pub\/yale-fp\/reports\/RR-982.ps.Z. Accessed July 1999"},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/B978-0-12-450010-5.50018-9","volume-title":"Artificial Intelligence and Theory of Computation","author":"DE Knuth","year":"1991","unstructured":"Knuth, D.E.: Textbook examples of recursion. In: Lifschitz, V. (ed.) Artificial Intelligence and Theory of Computation, pp. 207\u2013229. Academic Press, Boston (1991)"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Marlow, S., Maier, P., Loidl, H., Aswad, M., Trinder, P.: Seq no more: better strategies for parallel haskell. In: Proceedings of the Third ACM Haskell Symposium on Haskell, pp. 91\u2013102. ACM (2010)","DOI":"10.1145\/2088456.1863535"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/3-540-09981-6_19","volume-title":"International Symposium on Programming","author":"A Mycroft","year":"1980","unstructured":"Mycroft, A.: The theory and practice of transforming call-by-need into call-by-value. In: Robinet, B. (ed.) International Symposium on Programming. LNCS, vol. 83, pp. 269\u2013281. Springer, Heidelberg (1980)"},{"issue":"9","key":"5_CR17","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1145\/1932681.1863556","volume":"45","author":"M Naylor","year":"2010","unstructured":"Naylor, M., Runciman, C.: The reduceron reconfigured. ACM Sigplan Not. 45(9), 75\u201386 (2010)","journal-title":"ACM Sigplan Not."},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Nisbet, A.: GAPS: A compiler framework for genetic algorithm (GA) optimised parallelisation. In: Proceedings of the International Conference and Exhibition on High-Performance Computing and Networking, pp. 987\u2013989. HPCN Europe 1998 (1998)","DOI":"10.1007\/BFb0037253"},{"issue":"2","key":"5_CR19","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1093\/comjnl\/32.2.175","volume":"32","author":"SL Peyton Jones","year":"1989","unstructured":"Peyton Jones, S.L.: Parallel implementations of functional programming languages. Comput. J. 32(2), 175\u2013186 (1989)","journal-title":"Comput. J."},{"key":"5_CR20","volume-title":"Functional Programming and Parallel Graph Rewriting","author":"R Plasmeijer","year":"1993","unstructured":"Plasmeijer, R., Eekelen, M.V.: Functional Programming and Parallel Graph Rewriting, 1st edn. Addison-Wesley Longman Publishing Co., Inc., Boston (1993)","edition":"1"},{"volume-title":"Applications of Functional Programming","year":"1996","key":"5_CR21","unstructured":"Runciman, C., Wakeling, D. (eds.): Applications of Functional Programming. UCL Press Ltd., London (1996)"},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/3-540-48885-5_21","volume-title":"Genetic Programming","author":"C Ryan","year":"1999","unstructured":"Ryan, C., Ivan, L.: Automatic parallelization of arbitrary programs. In: Langdon, W.B., Fogarty, T.C., Nordin, P., Poli, R. (eds.) EuroGP 1999. LNCS, vol. 1598, pp. 244\u2013254. Springer, Heidelberg (1999)"},{"issue":"3","key":"5_CR23","first-page":"202","volume":"30","author":"H Sutter","year":"2005","unstructured":"Sutter, H.: The free lunch is over: a fundamental turn toward concurrency in software. Dr. Dobbs J. 30(3), 202\u2013210 (2005)","journal-title":"Dr. Dobbs J."},{"key":"5_CR24","unstructured":"Tremblay, G., Gao, G.R.: The impact of laziness on parallelism and the limits of strictness analysis. In: Proceedings High Performance Functional Computing, pp. 119\u2013133. Citeseer (1995)"},{"issue":"1","key":"5_CR25","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1017\/S0956796897002967","volume":"8","author":"PW Trinder","year":"1998","unstructured":"Trinder, P.W., Hammond, K., Loidl, H.W., Peyton Jones, S.L.: Algorithm + strategy = parallelism. J. Funct. Program. 8(1), 23\u201360 (1998)","journal-title":"J. Funct. Program."},{"key":"5_CR26","first-page":"266","volume-title":"Abstract Interpretation of Declarative Languages","author":"P Wadler","year":"1987","unstructured":"Wadler, P.: Strictness analysis on non-flat domains. In: Abramsky, S., Hankin, C.L. (eds.) Abstract Interpretation of Declarative Languages, pp. 266\u2013275. Ellis Horwood, Chichester (1987)"},{"key":"5_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/3-540-18317-5_21","volume-title":"Functional Programming Languages and Computer Architecture","author":"P Wadler","year":"1987","unstructured":"Wadler, P., Hughes, R.J.M.: Projections for strictness analysis. In: Kahn, G. (ed.) FPCA 1987. LNCS, vol. 274, pp. 385\u2013407. Springer, Heidelberg (1987)"},{"key":"5_CR28","unstructured":"Williams, K.P.: Evolutionary algorithms for automatic parallelization. Ph.D. thesis, Department of Computer Science, University of Reading, December 1998"}],"container-title":["Lecture Notes in Computer Science","Search-Based Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22183-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,8]],"date-time":"2023-02-08T14:17:39Z","timestamp":1675865859000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22183-0_5"}},"subtitle":["Searching for Useful Parallelism in Functional Programs"],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319221823","9783319221830"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22183-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"28 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}