{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T05:06:02Z","timestamp":1698037562841},"reference-count":27,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2006,10,20]],"date-time":"2006-10-20T00:00:00Z","timestamp":1161302400000},"content-version":"vor","delay-in-days":5893,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Concurrency: Pract. Exper."],"published-print":{"date-parts":[[1990,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>There are many problems associated with current methodologies employed for the development and maintenance of efficient computer systems. This has lead to an interest in both declarative programming languages and parallel computer architectures. These two areas can be combined to produce effective systems by the use of new program development philosophies. In particular, the mathematical basis and inherent parallelism of declarative languages enable formal techniques to be adopted for the development of programs tailored towards parallel machines. This paper provides an overview of one such methodology developed at Imperial College (IC) and presents a case study that illustrates its operation, using the IC Programming\/Transformation Environment, and quantifies its benefits using performance prediction equations together with the results of experiments carried out on the ALICE parallel machine.<\/jats:p>","DOI":"10.1002\/cpe.4330020302","type":"journal-article","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T16:10:02Z","timestamp":1163779802000},"page":"149-169","source":"Crossref","is-referenced-by-count":1,"title":["Declarative languages and program transformation for programming parallel systems: A case study"],"prefix":"10.1002","volume":"2","author":[{"given":"John","family":"Darlington","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mike","family":"Reeve","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sue","family":"Wright","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,10,20]]},"reference":[{"key":"e_1_2_1_2_2","unstructured":"S.Eisenbach andC.Saddler \u2018Declarative languages: an overview\u2019 BYTE August 181\u2013195(1985)."},{"key":"e_1_2_1_3_2","volume-title":"Functional Programming: Languages, Tools and Architecture","author":"Eisenbach S.","year":"1987"},{"key":"e_1_2_1_4_2","doi-asserted-by":"crossref","unstructured":"J.Darlington P. G.Harrison H.Khoshnevisan L.McLoughlin H.Pull M. J.Reeve K. M.Sephton L.WhileandS.Wright A Functional Programming Environment Supporting Execution Partial Execution and Transformation Parallel Architectures and Languages Europe (PARLE) Holland June1989.","DOI":"10.1007\/3540512845_46"},{"key":"e_1_2_1_5_2","unstructured":"N.PerryandK. M.Sephton Hope+ Compiler IC\/FPR\/LANG\/2.5.1\/14 Internal Report Functional Programming Section Department of Computing Imperial College London 1987."},{"key":"e_1_2_1_6_2","volume-title":"Logic Programming: Functions, Relations and Equations","author":"Darlington J.","year":"1986"},{"key":"e_1_2_1_7_2","unstructured":"J.DarlingtonandH.Pull A Program Development Methodology Based on a Unified Approach to Execution and Transformation Internal Report Functional Programming Section Department of Computing Imperial College London October 1988."},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/321992.321996"},{"key":"e_1_2_1_9_2","unstructured":"H.Khoshnevisan Automatic Transformation Systems Based on Functional\u2010Level Reasoning PhD thesis Functional Programming Section Department of Computing Imperial College London 1987."},{"key":"e_1_2_1_10_2","doi-asserted-by":"crossref","unstructured":"H.KhoshnevisanandK. M.Sephton InvX: An Automatic Function Inverter Internal Report Functional Programming Section Department of Computing Imperial College London April1988.","DOI":"10.1007\/3-540-51081-8_139"},{"key":"e_1_2_1_11_2","unstructured":"R. L.While Behavioural Aspects of Term Rewriting Systems PhD thesis Functional Programming Section Department of Computing Imperial College London 1988."},{"key":"e_1_2_1_12_2","doi-asserted-by":"crossref","unstructured":"J.DarlingtonandR. L.While Controlling the Behaviour of Functional Language System Proceedings of the International Conference on Functional Programming and Computer Architecture Portland Oregon 1987.","DOI":"10.1007\/3-540-18317-5_16"},{"key":"e_1_2_1_13_2","unstructured":"L.McLoughlin The Hope Interface to X\u2010Windows (Version 10 Release 4) Internal Report Functional Programming Section Department of Computing Imperial College London 1988."},{"key":"e_1_2_1_14_2","volume-title":"Xlib\u2014C Language Interface Protocol Version 10","author":"Gettys J.","year":"1986"},{"key":"e_1_2_1_15_2","volume-title":"Parallel Processors","author":"Reeve M. J.","year":"1990"},{"key":"e_1_2_1_16_2","volume-title":"Selected Reprints on Dataflow and Reduction Architectures","author":"Cripps M. D.","year":"1987"},{"key":"e_1_2_1_17_2","doi-asserted-by":"crossref","unstructured":"J.DarlingtanandM. J.Reeve ALICE: A Multiprocessor Reduction Machine for the Parallel Evaluation of Applicative Languages \/MIT Conference on Functional Programming Languages and Computer Architecture 1981.","DOI":"10.1145\/800223.806764"},{"key":"e_1_2_1_18_2","volume-title":"Proceedings of the MCC Graph Reduction Workshop, Santa Fe","author":"Watson I.","year":"1986"},{"issue":"3","key":"e_1_2_1_19_2","first-page":"575","article-title":"Flagship hardware and implementation","volume":"5","author":"Townsend P.","year":"1987","journal-title":"ICL Tech. J."},{"issue":"3","key":"e_1_2_1_20_2","first-page":"541","article-title":"Designing system software for parallel declarative systems","volume":"5","author":"Broughton P.","year":"1987","journal-title":"ICL Tech. J."},{"key":"e_1_2_1_21_2","unstructured":"J. R. W.Glauert J. R.Kennaway M. R.Sleep N. P.Holt M. J.Reeve andI.Watson Specification of Core DACTLI Internal Report SYS\u2010C87\u201009 University of East Anglia U.K. 1987."},{"key":"e_1_2_1_22_2","doi-asserted-by":"publisher","DOI":"10.1145\/317531.317535"},{"key":"e_1_2_1_23_2","unstructured":"M. J.ReeveandS.Wright IC ALICE Update IC\/FPR\/DOC\/5 Internal Report Functional Programming Section Department of Computing Imperial College London July 1988."},{"key":"e_1_2_1_24_2","unstructured":"M. J.ReeveandS.Wright IC ALICE: Demonstration Programs and Analysis Tools IC\/FPR\/DOC\/6 Internal Report Functional Programming Section Department of Computing Imperial College London August 1988."},{"key":"e_1_2_1_25_2","unstructured":"H. W.Glaser M. J.ReeveandS.Wright An Analysis of Reference Count Garbage Collection Schemes for Declarative Languages Proceedings of the International Computer Science Conference '88 Hong Kong December1988."},{"key":"e_1_2_1_26_2","unstructured":"L.While J.Kewley K.Glynn P.WatsonandS.Hayes Annotations for Hope+ Internal Report Functional Programming Section Department of Computing Imperial College London October 1988."},{"key":"e_1_2_1_27_2","doi-asserted-by":"crossref","unstructured":"R. M.Burstall D. B.MacQueenandD. T.Sannella HOPE: An Experimental Applicative Language Internal Report CSR\u201062\u201080 University of Edinburgh U.K. 1980.","DOI":"10.1145\/800087.802799"},{"key":"e_1_2_1_28_2","volume-title":"Continuations\u2014A Mathematical Semantics for Handling Full Jumps, PRG\u201011","author":"Strachey C.","year":"1974"}],"container-title":["Concurrency: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fcpe.4330020302","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/cpe.4330020302","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T09:29:42Z","timestamp":1697966982000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/cpe.4330020302"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,9]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1990,9]]}},"alternative-id":["10.1002\/cpe.4330020302"],"URL":"https:\/\/doi.org\/10.1002\/cpe.4330020302","archive":["Portico"],"relation":{},"ISSN":["1040-3108","1096-9128"],"issn-type":[{"value":"1040-3108","type":"print"},{"value":"1096-9128","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,9]]}}}