{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T10:08:22Z","timestamp":1749118102533,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642358869"},{"type":"electronic","value":"9783642358876"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35887-6_13","type":"book-chapter","created":{"date-parts":[[2013,1,4]],"date-time":"2013-01-04T11:10:13Z","timestamp":1357297813000},"page":"237-256","source":"Crossref","is-referenced-by-count":10,"title":["Paraphrasing: Generating Parallel Programs Using Refactoring"],"prefix":"10.1007","author":[{"given":"Christopher","family":"Brown","sequence":"first","affiliation":[]},{"given":"Kevin","family":"Hammond","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Danelutto","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Kilpatrick","sequence":"additional","affiliation":[]},{"given":"Holger","family":"Sch\u00f6ner","sequence":"additional","affiliation":[]},{"given":"Tino","family":"Breddin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Netflix Prize Forum\/Grand Prize Award (September 2009), http:\/\/www.netflixprize.com\/community\/viewtopic.php?id=1537"},{"key":"13_CR2","first-page":"955","volume-title":"Proc. of PDCS: Intl. Conference on Parallel and Distributed Computing and Systems","author":"M. Aldinucci","year":"1999","unstructured":"Aldinucci, M., Danelutto, M.: Stream Parallel Skeleton Optimization. In: Proc. of PDCS: Intl. Conference on Parallel and Distributed Computing and Systems, pp. 955\u2013962. IASTED, ACTA Press, Cambridge, Massachusetts (1999)"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-642-23397-5_17","volume-title":"Euro-Par 2011 Parallel Processing","author":"M. Aldinucci","year":"2011","unstructured":"Aldinucci, M., Danelutto, M., Kilpatrick, P., Meneghin, M., Torquati, M.: Accelerating Code on Multi-cores with FastFlow. In: Jeannot, E., Namyst, R., Roman, J. (eds.) Euro-Par 2011, Part II. LNCS, vol.\u00a06853, pp. 170\u2013181. Springer, Heidelberg (2011)"},{"issue":"8","key":"13_CR4","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"Backus, J.: Can Programming be Liberated from the von Neumann Style? Communications of the ACM\u00a021(8), 613\u2013641 (1978)","journal-title":"Communications of the ACM"},{"issue":"5","key":"13_CR5","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/MM.2011.67","volume":"31","author":"S. Benkner","year":"2011","unstructured":"Benkner, S., Pllana, S., Tr\u00e4ff, J.L., Tsigas, P., Dolinsky, U., Augonnet, C., Bachmayer, B., Kessler, C.W., Moloney, D., Osipov, V.: PEPPHER: Efficient and Productive Usage of Hybrid Computing Systems. IEEE Micro\u00a031(5), 28\u201341 (2011)","journal-title":"IEEE Micro"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Bird, R.S.: Lectures on Constructive Functional Programming. In: Broy, M. (ed.) Constructive Methods in Computer Science. NATO ASI Series\u00a0F, vol.\u00a055, pp. 151\u2013218. Springer (1988); Also available as Technical Monograph PRG-69, from the Programming Research Group, Oxford University","DOI":"10.1007\/978-3-642-74884-4_5"},{"issue":"1-2","key":"13_CR7","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.scico.2007.11.003","volume":"72","author":"M. Bravenboer","year":"2008","unstructured":"Bravenboer, M., Kalleberg, K.T., Vermaas, R., Visser, E.: Stratego\/xt 0.17. A Language and Toolset for Program Transformation. Sci. Comput. Program.\u00a072(1-2), 52\u201370 (2008)","journal-title":"Sci. Comput. Program."},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-642-22941-1_3","volume-title":"Trends in Functional Programming","author":"C. Brown","year":"2011","unstructured":"Brown, C., Li, H., Thompson, S.: An Expression Processor: A Case Study in Refactoring Haskell Programs. In: Page, R., Horv\u00e1th, Z., Zs\u00f3k, V. (eds.) TFP 2010. LNCS, vol.\u00a06546, pp. 31\u201349. Springer, Heidelberg (2011)"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-642-32037-8_6","volume-title":"Trends in Functional Programming","author":"C. Brown","year":"2012","unstructured":"Brown, C., Loidl, H.-W., Hammond, K.: ParaForming: Forming Parallel Haskell Programs Using Novel Refactoring Techniques. In: Pe\u00f1a, R., Page, R. (eds.) TFP 2011. LNCS, vol.\u00a07193, pp. 82\u201397. Springer, Heidelberg (2012)"},{"issue":"1","key":"13_CR10","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R.M. Burstall","year":"1977","unstructured":"Burstall, R.M., Darlington, J.: A Transformation System for Developing Recursive Programs. J. ACM\u00a024(1), 44\u201367 (1977)","journal-title":"J. ACM"},{"key":"13_CR11","unstructured":"Cesarini, F., Thompson, S.: ERLANG Programming, 1st edn. O\u2019Reilly Media, Inc. (2009)"},{"key":"13_CR12","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."},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Gemulla, R., Haas, P.J., Sismanis, Y., Teflioudi, C., Makari, F.: Large-Scale Matrix Factorization with Distributed Stochastic Gradient Descent. In: NIPS 2011 Workshop on Big Learning, Sierra Nevada, Spain (December 2011)","DOI":"10.1145\/2020408.2020426"},{"key":"13_CR14","series-title":"LNCS","first-page":"218","volume-title":"FMCO 2011","author":"K. Hammond","year":"2012","unstructured":"Hammond, K., Aldinucci, M., Brown, C., Cesarini, F., Danelutto, M., Gonz\u00e1lez-V\u00e9lez, H., Kilpatrick, P., Keller, R., Rossbory, M., Shainer, G.: The ParaPhrase: Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems. In: Beckert, B., de Boer, F., Bonsangue, M., Damiani, F. (eds.) FMCO 2011. LNCS, vol.\u00a07542, pp. 218\u2013236. Springer, Heidelberg (2012)"},{"key":"13_CR15","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)"},{"issue":"8","key":"13_CR16","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/MC.2009.263","volume":"42","author":"Y. Koren","year":"2009","unstructured":"Koren, Y., Bell, R., Volinsky, C.: Matrix Factorization Techniques for Recommender Systems. IEEE Computer\u00a042(8), 30\u201337 (2009)","journal-title":"IEEE Computer"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Li, H., Thompson, S.: A Comparative Study of Refactoring Haskell and Erlang Programs. In: SCAM 2006, pp. 197\u2013206. IEEE (September 2006)","DOI":"10.1109\/SCAM.2006.8"},{"key":"13_CR18","unstructured":"Li, H., Thompson, S.: A Domain-Specific Language for Scripting Refactorings in Erlang. Technical Report 5-11, University of Kent (October 2011)"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Li, H., Thompson, S.: A User-extensible Refactoring Tool for Erlang Programs. Technical Report 4-11, University of Kent (October 2011)","DOI":"10.1145\/2351676.2351727"},{"key":"13_CR20","volume-title":"Proceedings of the 1st International Conference on Scalable Information Systems, InfoScale 2006","author":"K. Matsuzaki","year":"2006","unstructured":"Matsuzaki, K., Iwasaki, H., Emoto, K., Hu, Z.: A Library of Constructive Skeletons for Sequential Style of Parallel Programming. In: Proceedings of the 1st International Conference on Scalable Information Systems, InfoScale 2006. ACM, New York (2006)"},{"issue":"2","key":"13_CR21","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1109\/TSE.2004.1265817","volume":"30","author":"T. Mens","year":"2004","unstructured":"Mens, T., Tourw\u00e9, T.: A Survey of Software Refactoring. IEEE Trans. Softw. Eng.\u00a030(2), 126\u2013139 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"13_CR22","first-page":"56","volume-title":"Readings in Computer Architecture","author":"G.E. Moore","year":"2000","unstructured":"Moore, G.E.: Cramming more components onto integrated circuits. In: Readings in Computer Architecture, pp. 56\u201359. Morgan Kaufmann Publishers Inc., San Francisco (2000)"},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"Nugteren, C., Corporaal, H., Mesman, B.: Skeleton-based Automatic Parallelization of Image Processing Algorithms for GPUs. In: ICSAMOS 2011, pp. 25\u201332 (2011)","DOI":"10.1109\/SAMOS.2011.6045441"},{"key":"13_CR24","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":"13_CR25","doi-asserted-by":"crossref","unstructured":"Padioleau, Y., Lawall, J.L., Muller, G.: SmPL: A Domain-Specific Language for Specifying Collateral evolutions in Linux device drivers. In: International ERCIM Workshop on Software Evolution, Lille, France (April 2006)","DOI":"10.1016\/j.entcs.2006.07.022"},{"issue":"3","key":"13_CR26","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1145\/356914.356917","volume":"15","author":"H. Partsch","year":"1983","unstructured":"Partsch, H., Steinbruggen, R.: Program Transformation Systems. ACM Comput. Surv.\u00a015(3), 199\u2013236 (1983)","journal-title":"ACM Comput. Surv."},{"issue":"4","key":"13_CR27","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1177\/1094342005056139","volume":"19","author":"S. Sankaran","year":"2005","unstructured":"Sankaran, S., Squyres, J.M., Barrett, B., Lumsdaine, A., Duell, J., Hargrove, P., Roman, E.: The LAM\/MPI Checkpoint\/Restart Framework: System-Initiated Checkpointing. International Journal of High Performance Computing Applications\u00a019(4), 479\u2013493 (2005)","journal-title":"International Journal of High Performance Computing Applications"},{"key":"13_CR28","doi-asserted-by":"crossref","unstructured":"Skillicorn, D.B.: The Bird-Meertens Formalism as a Parallel Model. In: Software for Parallel Computation. NATO ASI Series F, vol.\u00a0106, pp. 120\u2013133. Springer (1993)","DOI":"10.1007\/978-3-642-58049-9_9"},{"key":"13_CR29","first-page":"173","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)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35887-6_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,28]],"date-time":"2023-06-28T12:05:08Z","timestamp":1687953908000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35887-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642358869","9783642358876"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35887-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}