{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T18:16:27Z","timestamp":1781892987638,"version":"3.54.5"},"publisher-location":"Boston, MA","reference-count":11,"publisher":"Birkh\u00e4user Boston","isbn-type":[{"value":"9781461273684","type":"print"},{"value":"9781461219866","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/978-1-4612-1986-6_17","type":"book-chapter","created":{"date-parts":[[2011,8,26]],"date-time":"2011-08-26T08:46:56Z","timestamp":1314348416000},"page":"353-372","source":"Crossref","is-referenced-by-count":14,"title":["The TAMPR Program Transformation System: Simplifying the Development of Numerical Software"],"prefix":"10.1007","author":[{"given":"James M.","family":"Boyle","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Terence J.","family":"Harmer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Victor L.","family":"Winter","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"17_CR1","volume-title":"Parallel synchronous and asynchronous implementations of the auction algorithm Parallel Computing","author":"DP Bertsekas","year":"1990","unstructured":"D. P. Bertsekas and D. A. Castanon. Parallel synchronous and asynchronous implementations of the auction algorithm Parallel Computing, 1990."},{"key":"17_CR2","first-page":"361","volume-title":"Software Reusability","author":"JM Boyle","year":"1989","unstructured":"J. M. Boyle. Abstract programming and program transformation\u2014an approach to reusing programs In T. J. Biggerstaff and A. J. Perlis, editors, Software Reusability, volume I, pages 361\u2013413, New York, 1989. Addison-Wesley."},{"key":"17_CR3","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1007\/3-540-55895-0_481","volume-title":"Parallel Processing: CONPAR 92\u2014VAPP V, Second Joint International Conference on Vector and Parallel Processing,LNCS 684","author":"JM Boyle","year":"1992","unstructured":"J. M. Boyle, M. Clint, S. Fitzpatrick, and T. J. Harmer. The construction of numerical mathematical software for the AMT DAP by program transformation. In L. Bouge, M. Cosnard, Y. Robert, and D. Trystam, editors, Parallel Processing: CONPAR 92\u2014VAPP V, Second Joint International Conference on Vector and Parallel Processing, LNCS 684, pages 761\u2013767, Berlin, 1992. Springer-Verlag."},{"key":"17_CR4","first-page":"1","volume-title":"Proceedings of the IFIP TC2\/WG2.1 Working Conference on Program Specification and Transformation","author":"JM Boyle","year":"1987","unstructured":"J. M. Boyle, K. W. Dritz, M. M. Muralidharan, and R. Taylor. Deriving sequential and parallel programs from pure lisp specifications by program transformation. In L.G.L.T. Meertens, editor, Proceedings of the IFIP TC2\/WG2.1 Working Conference on Program Specification and Transformation, Bad-Toelz, Germany, 15\u201317 April,1986, pages 1\u201319, Amsterdam, 1987. North-Holland."},{"issue":"1","key":"17_CR5","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1017\/S0956796800000289","volume":"2","author":"JM Boyle","year":"1992","unstructured":"J. M. Boyle and T. J. Harmer. A practical functional program for the Cray X\u2014MP. Journal of Functional Programming, 2(1):81\u2013126, January 1992.","journal-title":"Journal of Functional Programming"},{"key":"17_CR6","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-57499-9_17","volume-title":"Formal Program Development","author":"JM Boyle","year":"1993","unstructured":"J. M. Boyle and T. J. Harmer. Practical transformation of functional programs for efficient execution. In B. Moeller, H. Partsch, and S. Schuman, editors, Formal Program Development, pages 62\u201388, Berlin, Heidelberg, New York, 1993. Springer\u2014Verlag."},{"key":"17_CR7","volume-title":"Readings in Mathematical Psychology","author":"N Chomsky","year":"1965","unstructured":"N. Chomsky. Three models for the description of language. In E. Galanter, R. D. Luce, R. Bush, editor, Readings in Mathematical Psychology, Vol. II, New York, 1965. John Wiley & Sons."},{"key":"17_CR8","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611971811","volume-title":"LIN-PACK User\u2019s Guide","author":"JJ Dongarra","year":"1979","unstructured":"J. J. Dongarra, C. B. Moler, J. R. Bunch, and G. W. Stewart. LIN-PACK User\u2019s Guide. SIAM, Philadelphia, PA, 1979."},{"key":"17_CR9","volume-title":"The automated transformation of abstract specifications of numericalalgorithms into efficient array processor implementations","author":"S Fitzpatrick","year":"1996","unstructured":"S. Fitzpatrick, T. J. Harmer, A. Stewart, M. Clint, and J. M. Boyle. The automated transformation of abstract specifications of numerical algorithms into efficient array processor implementations. Science of Computer Programming, 1996. (to appear)."},{"key":"17_CR10","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/0167-8191(90)90067-J","volume":"16","author":"M Garbey","year":"1990","unstructured":"M. Garbey and D. Levine. Massively parallel computation of conservation laws. Parallel Computing, 16:293\u2013304, 1990.","journal-title":"Parallel Computing"},{"key":"17_CR11","series-title":"Proceedings of the IEEE High\u2014 Assurance Systems Engineering Workshop","volume-title":"Proving refinement transformations forderiving high\u2014assurance software","author":"VL Winter","year":"1996","unstructured":"V. L. Winter and J. M. Boyle. Proving refinement transformations for deriving high\u2014assurance software. In Proceedings of the IEEE High\u2014Assurance Systems Engineering Workshop, 1996."}],"container-title":["Modern Software Tools for Scientific Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4612-1986-6_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T01:30:43Z","timestamp":1619832643000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4612-1986-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9781461273684","9781461219866"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-1-4612-1986-6_17","relation":{},"subject":[],"published":{"date-parts":[[1997]]}}}