{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T19:47:05Z","timestamp":1648756025538},"reference-count":28,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[1996,11,1]],"date-time":"1996-11-01T00:00:00Z","timestamp":846806400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems Architecture"],"published-print":{"date-parts":[[1996,11]]},"DOI":"10.1016\/s1383-7621(96)00028-8","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T22:26:53Z","timestamp":1027636013000},"page":"331-340","source":"Crossref","is-referenced-by-count":2,"title":["Towards a framework for cost-based transformation"],"prefix":"10.1016","volume":"42","author":[{"given":"D.B.","family":"Skillicorn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1383-7621(96)00028-8_bib1","series-title":"Logic of Programming and Calculi of Discrete Design","first-page":"3","article-title":"An introduction to the theory of lists","author":"Bird","year":"1987"},{"issue":"2","key":"10.1016\/S1383-7621(96)00028-8_bib2","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1093\/comjnl\/32.2.122","article-title":"Algebraic identities for program calculation","volume":"32","author":"Bird","year":"1989","journal-title":"The Computer Journal"},{"key":"10.1016\/S1383-7621(96)00028-8_bib3","article-title":"Scientific computing on bulk synchronous parallel architectures","author":"Bisseling","year":"1993"},{"key":"10.1016\/S1383-7621(96)00028-8_bib4","series-title":"Proceedings of the Dartmouth Institute for Advanced Graduate Study in Parallel Computation Symposium","first-page":"11","article-title":"Programming parallel algorithms","author":"Blelloch","year":"1992"},{"key":"10.1016\/S1383-7621(96)00028-8_bib5","article-title":"NESL: A nested data-parallel language","author":"Blelloch","year":"1993"},{"issue":"2","key":"10.1016\/S1383-7621(96)00028-8_bib6","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/321812.321815","article-title":"The parallel evaluation of general arithmetic expressions","volume":"21","author":"Brent","year":"1974","journal-title":"Journal of the ACM"},{"issue":"1","key":"10.1016\/S1383-7621(96)00028-8_bib7","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","article-title":"A transformation system for developing recursive programs","volume":"24","author":"Burstall","year":"1977","journal-title":"Journal of the ACM"},{"key":"10.1016\/S1383-7621(96)00028-8_bib8","article-title":"Algorithmic Skeletons: Structured Management of Parallel Computation","author":"Cole","year":"1989"},{"key":"10.1016\/S1383-7621(96)00028-8_bib9","series-title":"The P3L language: An introduction","article-title":"A methodology for the development and the support of massively parallel programsFuture Generation Computer Systems","author":"Danelutto","year":"1991"},{"key":"10.1016\/S1383-7621(96)00028-8_bib10","series-title":"PARLE93, Parallel Architectures and Languages Europe","article-title":"Parallel programming using skeleton functions","author":"Darlington","year":"1993"},{"key":"10.1016\/S1383-7621(96)00028-8_bib11","series-title":"CONCUR '93","article-title":"Loop parallelization in the polytope model","volume":"715","author":"Lengauer","year":"1993"},{"key":"10.1016\/S1383-7621(96)00028-8_bib12","series-title":"Portability and Performance for Parallel Processors","article-title":"An architecture independent programming model for scalable parallel computing","author":"McColl","year":"1994"},{"key":"10.1016\/S1383-7621(96)00028-8_bib13","series-title":"Lectures on Parallel Computation","first-page":"337","article-title":"General purpose parallel computing","author":"McColl","year":"1993"},{"key":"10.1016\/S1383-7621(96)00028-8_bib14","series-title":"Lectures on Parallel Computation","first-page":"261","article-title":"Special purpose parallel computing","author":"McColl","year":"1993"},{"key":"10.1016\/S1383-7621(96)00028-8_bib15","series-title":"Second Workshop on Abstract Models for Parallel Computation","article-title":"Bulk synchronous parallel computing","author":"McColl","year":"1994"},{"key":"10.1016\/S1383-7621(96)00028-8_bib16","series-title":"Advanced Workshop, Programming Tools for Parallel Machines","article-title":"Parallel functional programming in Sisal: Fictions, facts, and future","author":"McGraw","year":"1993"},{"key":"10.1016\/S1383-7621(96)00028-8_bib17","series-title":"Proceedings of the SIGPLAN '85 Symposium","first-page":"69","article-title":"Mechanical analysis of program complexity","author":"Le M\u00e9tayer","year":"1985"},{"key":"10.1016\/S1383-7621(96)00028-8_bib18","series-title":"Second France-Japan Artificial Intelligence and Computer Science Symposium","article-title":"Analysis of functional programs by program transformation","author":"Le M\u00e9tayer","year":"1988"},{"issue":"6","key":"10.1016\/S1383-7621(96)00028-8_bib19","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1007\/BF00277386","article-title":"Data refinement by calculation","volume":"27","author":"Morgan","year":"1990","journal-title":"Acta Informatica"},{"key":"10.1016\/S1383-7621(96)00028-8_bib20","article-title":"Complexity analysis for a higher-order language, Technical report Department of Computing, Imperial College London","author":"Sands","year":"1988","journal-title":"Technical Report 88\/14"},{"key":"10.1016\/S1383-7621(96)00028-8_bib21","article-title":"Calculi for time analysis of functional programs","author":"Sands","year":"1990"},{"key":"10.1016\/S1383-7621(96)00028-8_bib22","series-title":"Proceedings of the Third European Symposium on Programming","article-title":"Complexity analysis for a lazy higher-order language","author":"Sands","year":"1990"},{"key":"10.1016\/S1383-7621(96)00028-8_bib23","article-title":"Parallel implementation of tree skeletons","author":"Skillicorn","year":"1995"},{"issue":"1","key":"10.1016\/S1383-7621(96)00028-8_bib24","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1006\/jpdc.1995.1089","article-title":"A cost calculus for parallel functional programming","volume":"28","author":"Skillicorn","year":"1995","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"10.1016\/S1383-7621(96)00028-8_bib25","article-title":"Structure and design of global search algorithms","author":"Smith","year":"1987"},{"key":"10.1016\/S1383-7621(96)00028-8_bib26","series-title":"Mathematics of Program Construction","first-page":"379","article-title":"Algorithm theories and design tactics","author":"Smith","year":"1989"},{"key":"10.1016\/S1383-7621(96)00028-8_bib27","series-title":"Proceedings of a Workshop on Bulk Synchronous Parallelism","article-title":"Exponential processor requirements for optimal schedules in architectures with locality","author":"Thanisch","year":"1993"},{"key":"10.1016\/S1383-7621(96)00028-8_bib28","article-title":"General purpose parallel architectures","volume":"Vol. A","author":"Valiant","year":"1990"}],"container-title":["Journal of Systems Architecture"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1383762196000288?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1383762196000288?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T05:57:44Z","timestamp":1555653464000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1383762196000288"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,11]]},"references-count":28,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1996,11]]}},"alternative-id":["S1383762196000288"],"URL":"https:\/\/doi.org\/10.1016\/s1383-7621(96)00028-8","relation":{},"ISSN":["1383-7621"],"issn-type":[{"value":"1383-7621","type":"print"}],"subject":[],"published":{"date-parts":[[1996,11]]}}}