{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:13:13Z","timestamp":1725664393814},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584308"},{"type":"electronic","value":"9783540487890"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58430-7_14","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:02:02Z","timestamp":1330254122000},"page":"148-159","source":"Crossref","is-referenced-by-count":1,"title":["Deriving efficient parallel implementations of algorithms operating on general sparse matrices using automatic program transformation"],"prefix":"10.1007","author":[{"given":"Stephen","family":"Fitzpatrick","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T. J.","family":"Harmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. M.","family":"Boyle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"14_CR1","unstructured":"A Transformational Component for Programming Language Grammar, J. M. Boyle, ANL-7690 Argonne National Laboratory, July 1970, Argonne, Illinois."},{"key":"14_CR2","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1145\/73103.73118","volume-title":"Software Reusability, Volume I","author":"J. M. Boyle","year":"1989","unstructured":"Abstract programming and program transformations \u2014 An approach to reusing programs. James M. Boyle, Editors Ted J. Biggerstaff and Alan J. Perlis in Software Reusability, Volume I, Pages 361\u2013413, ACM Press (Addison-Wesley Publishing Company), New York, NY, 1989."},{"issue":"5","key":"14_CR3","doi-asserted-by":"crossref","first-page":"574","DOI":"10.1109\/TSE.1984.5010281","volume":"10","author":"J. M. Boyle","year":"1984","unstructured":"Program reusability through program transformation James M. Boyle and M. N. Muralidharan, IEEE Trans. Software Eng., 10 (5): 574\u201388 (Sept.) 1984.","journal-title":"IEEE Trans. Software Eng."},{"key":"14_CR4","unstructured":"Functional specifications for mathematical computations James M. Boyle, T. J. Harmer, Editor B. Moeller in Proc. IFIP TC2\/WG2.1 Working Conf. on Construction Programs from Specifications."},{"key":"14_CR5","unstructured":"Program adaption and program transformation In R. Ebert, J. Lueger and L. Goecke (editors), Practice in Software Adaption and Maintenance, pp. 3\u201320, North-Holland, Amsterdam."},{"issue":"1","key":"14_CR6","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1017\/S0956796800000289","volume":"2","author":"J.M. Boyle","year":"1992","unstructured":"A Practical Functional Program for the Cray X-MP, J.M. Boyle and T.J. Harmer, Journal of Functional Programming, 2(1), 1992, pp81\u2013126.","journal-title":"Journal of Functional Programming"},{"key":"14_CR7","unstructured":"The Construction of Numerical Mathematical Software for the AMT DAP by Program Transformation, J.M. Boyle, M. Clint, Stephen Fitzpatrick and T.J. Harmer, Proceedings of CONPAR 92-VAPP V, L Bouge, M. Cosnard, Y. Robert, D. Trystram (editors), Springer-Verlag."},{"key":"14_CR8","unstructured":"Deriving Distributed MIMD Implementations from Functional Specifications, JM Boyle, M Clint, S Fitzpatrick and TJ Harmer, Proceedings of ParCo '93 pp44\u201348, 7\u201310 September 1993, Grenoble, France."},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Computer program for solution of large sparse unsymmetric systems of linear equations, JE Key, Int. J. Numer. meth. Eng. 6, pp497\u2013509.","DOI":"10.1002\/nme.1620060406"},{"key":"14_CR10","volume-title":"Functional Programming using Standard ML","author":"A. Wilstr\u00f6m","year":"1987","unstructured":"Functional Programming using Standard ML, A. Wilstr\u00f6m, Prentice Hall, London 1987."},{"key":"14_CR11","unstructured":"Sparse Matrix Technology, Sergio Pissanetsky, Academic Press, 1984."},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Parallel Algorithm Derivation and Program Transformation, editors R Paige, J Reif and R Wachter, Kluwer Publishing, 1993.","DOI":"10.1007\/b102256"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"A Study of Sparse Matrix Representations for Solving Linear Systems in a Functional Language, RL Wainwright and ME Sexton, Journal of Functional Programming, 2(1), pp61\u201372.","DOI":"10.1017\/S0956796800000265"},{"key":"14_CR14","unstructured":"Parallel Decomposition of Matrix Inversion using Quadtrees, DS Wise, Proc. Int. Conf. on Parallel Processing, 1986, pp92\u201399."}],"container-title":["Lecture Notes in Computer Science","Parallel Processing: CONPAR 94 \u2014 VAPP VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58430-7_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:15:31Z","timestamp":1619558131000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58430-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584308","9783540487890"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-58430-7_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}