{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T07:47:07Z","timestamp":1759132027906},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642320361"},{"type":"electronic","value":"9783642320378"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32037-8_6","type":"book-chapter","created":{"date-parts":[[2012,7,20]],"date-time":"2012-07-20T20:27:32Z","timestamp":1342816052000},"page":"82-97","source":"Crossref","is-referenced-by-count":13,"title":["ParaForming: Forming Parallel Haskell Programs Using Novel Refactoring Techniques"],"prefix":"10.1007","author":[{"given":"Christopher","family":"Brown","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans-Wolfgang","family":"Loidl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin","family":"Hammond","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","first-page":"56","volume-title":"Readings in Computer Architecture","author":"G.E. Moore","year":"2000","unstructured":"Moore, G.E.: Readings in Computer Architecture, pp. 56\u201359. Morgan Kaufmann Publishers Inc., San Francisco (2000)"},{"key":"6_CR2","unstructured":"Peyton Jones, S., Hammond, K.: Haskell 98 Language and Libraries, the Revised Report. Cambridge University Press (2003)"},{"key":"6_CR3","unstructured":"Opdyke, W.F.: Refactoring Object-Oriented Frameworks. PhD thesis, Department of Computer Science, University of Illinois at Urbana-Champaign, Champaign, IL, USA (1992)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Li, H., Thompson, S., Reinke, C.: The Haskell Refactorer: HaRe, and its API. In: Proc. of the 5th Workshop on Language Descriptions, Tools and Applications (LDTA 2005). Electronic Notes in Theoretical Computer Science, vol.\u00a0141(4) (April 2005)","DOI":"10.1016\/j.entcs.2005.02.053"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1145\/871895.871907","volume-title":"ACM SIGPLAN Workshop on Haskell","author":"T. Hallgren","year":"2003","unstructured":"Hallgren, T.: Haskell Tools from the Programatica Project. In: ACM SIGPLAN Workshop on Haskell, pp. 103\u2013106. ACM Press, Uppsala (2003)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/3-540-36388-2_24","volume-title":"Practical Aspects of Declarative Languages","author":"R. L\u00e4mmel","year":"2002","unstructured":"L\u00e4mmel, R., Visser, J.: A Strafunski Application Letter. In: Dahl, V. (ed.) PADL 2003. LNCS, vol.\u00a02562, pp. 357\u2013375. Springer, Heidelberg (2002)"},{"issue":"1","key":"6_CR7","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. J. of Functional Programming\u00a08(1), 23\u201360 (1998)","journal-title":"J. of Functional Programming"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1145\/1863523.1863535","volume-title":"3rd ACM SIGPLAN Symposium on Haskell","author":"S. Marlow","year":"2010","unstructured":"Marlow, S., Maier, P., Loidl, H.W., Aswad, M.K., Trinder, P.: Seq no more: Better Strategies for Parallel Haskell. In: 3rd ACM SIGPLAN Symposium on Haskell, pp. 91\u2013102. ACM Press, Baltimore (2010)"},{"issue":"3","key":"6_CR9","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-Mar\u00ed, R.: Parallel Functional Programming in Eden. J. of Functional Programming\u00a015(3), 431\u2013475 (2005)","journal-title":"J. of Functional Programming"},{"key":"6_CR10","unstructured":"Brown, C.: Tool Support for Refactoring Haskell Programs. PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK (September 2008)"},{"key":"6_CR11","unstructured":"Li, H.: Refactoring Haskell Programs. PhD thesis, School of Computing, University of Kent, Canterbury, Kent, UK (September 2006)"},{"issue":"12","key":"6_CR12","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1002\/(SICI)1096-9128(199910)11:12<701::AID-CPE443>3.0.CO;2-P","volume":"11","author":"H.W. Loidl","year":"1999","unstructured":"Loidl, H.W., Trinder, P., Hammond, K., Junaidu, S., Morgan, R., Peyton Jones, S.: Engineering Parallel Symbolic Programs in GpH. Concurrency \u2014 Practice and Experience\u00a011(12), 701\u2013752 (1999)","journal-title":"Concurrency \u2014 Practice and Experience"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1109\/71.86108","volume":"2","author":"K. Kennedy","year":"1991","unstructured":"Kennedy, K., McKinley, K.S., Tseng, C.W.: Interactive Parallel Programming using the ParaScope Editor. IEEE Trans. Parallel Distrib. Syst.\u00a02, 329\u2013341 (1991)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1145\/1595696.1595723","volume-title":"ESEC\/FSE 2009","author":"J. Wloka","year":"2009","unstructured":"Wloka, J., Sridharan, M., Tip, F.: Refactoring for Reentrancy. In: ESEC\/FSE 2009, pp. 173\u2013182. ACM, Amsterdam (2009)"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1109\/MS.2011.1","volume":"28","author":"D. Dig","year":"2011","unstructured":"Dig, D.: A Refactoring Approach to Parallelism. IEEE Softw.\u00a028, 17\u201322 (2011)","journal-title":"IEEE Softw."},{"issue":"3","key":"6_CR16","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1142\/S0129626403001380","volume":"13","author":"K. Hammond","year":"2003","unstructured":"Hammond, K., Berthold, J., Loogen, R.: Automatic Skeletons in Template Haskell. Parallel Processing Letters\u00a013(3), 413\u2013424 (2003)","journal-title":"Parallel Processing Letters"},{"key":"6_CR17","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. Funct. Program.\u00a015, 615\u2013650 (2005)","journal-title":"J. Funct. Program."},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Marlow, S., Newton, R., Peyton Jones, S.: A Monad for Deterministic Parallelism. In: Intl. Conference on Functional Programming (ICFP 2011) (2011) (submitted)","DOI":"10.1145\/2034675.2034685"},{"key":"6_CR19","volume-title":"4th ACM SIGPLAN Symposium on Haskell","author":"J. Epstein","year":"2011","unstructured":"Epstein, J., Black, A., Peyton Jones, S.: Towards Haskell in the Cloud. In: 4th ACM SIGPLAN Symposium on Haskell. ACM Press, Tokyo (2011)"}],"container-title":["Lecture Notes in Computer Science","Trends in Functional Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32037-8_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T07:53:58Z","timestamp":1620114838000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32037-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642320361","9783642320378"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32037-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}