{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:19:12Z","timestamp":1745986752312,"version":"3.40.4"},"publisher-location":"London","reference-count":5,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199144"},{"type":"electronic","value":"9781447135739"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3573-9_12","type":"book-chapter","created":{"date-parts":[[2013,1,5]],"date-time":"2013-01-05T06:22:28Z","timestamp":1357366948000},"page":"167-183","source":"Crossref","is-referenced-by-count":0,"title":["A Case Study in Parallel Program Derivation: the Heat Equation Algorithm"],"prefix":"10.1007","author":[{"given":"John","family":"O\u2019Donnell","sequence":"first","affiliation":[]},{"given":"Gudula","family":"R\u00fcnger","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"A. Bunkenburg and S. Flynn, \u201cExpression refinement: deriving Bresenham\u2019s algorithm,\u201d Functional Programming: Glasgow 1994,Springer-Verlag Workshops in Computing.","DOI":"10.1007\/978-1-4471-3573-9_1"},{"key":"12_CR2","volume-title":"Proc. CONCUR","author":"C Lengauer","year":"1993","unstructured":"C. Lengauer, \u201cLoop parallelization in the Polytope Model,\u201d Proc. CONCUR (1993)."},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"J. O\u2019Donnell, \u201cGenerating netlists from executable circuit specifications in a pure functional language,\u201d Functional Programming Glasgow 1992,Springer-Verlag Workshops in Computing 178\u2013194.","DOI":"10.1007\/978-1-4471-3215-8_16"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"J. O\u2019Donnell, \u2018Bidirectional fold and scan,\u201c Functional Programming: Glasgow 1993, Springer Workshops in Computing (1994).","DOI":"10.1007\/978-1-4471-3236-3"},{"key":"12_CR5","volume-title":"Parallel Processing Letters","author":"J O\u2019Donnell","year":"1994","unstructured":"J. O\u2019Donnell, \u201cA correctness proof of parallel scan,\u201d Parallel Processing Letters (Sept. 1994)."}],"container-title":["Workshops in Computing","Functional Programming, Glasgow 1994"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3573-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T16:08:41Z","timestamp":1745942921000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3573-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199144","9781447135739"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3573-9_12","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1995]]}}}