{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,26]],"date-time":"2023-10-26T05:04:44Z","timestamp":1698296684838},"reference-count":41,"publisher":"Wiley","issue":"2","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":4654,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1994,2]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>A system based on the notion of a <jats:italic>flow graph<\/jats:italic> is used to specify formally and to implement a compiler for a lazy functional language. The compiler takes a simple functional language as input and generates C. The generated C program can then be compiled, and loaded with an extensive run\u2010time system to provide the facility to experiment with different analysis techniques. The compiler provides a single, unified, efficient, formal framework for all the analysis and synthesis phases, including the generation of C. Many of the standard techniques, such as strictness and boxing analyses, have been included.<\/jats:p>","DOI":"10.1002\/spe.4380240202","type":"journal-article","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T16:55:23Z","timestamp":1163782523000},"page":"127-173","source":"Crossref","is-referenced-by-count":9,"title":["Compilation of functional languages using flow graph analysis"],"prefix":"10.1002","volume":"24","author":[{"given":"Pieter H.","family":"Hartel","sequence":"first","affiliation":[]},{"given":"Hugh","family":"Glaser","sequence":"additional","affiliation":[]},{"given":"John M.","family":"Wild","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_2_1_2_2","volume-title":"Abstract Interpretation of Declarative Languages","author":"Abramsky S.","year":"1987"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-15975-4_28"},{"key":"e_1_2_1_4_2","first-page":"169","volume-title":"2nd Parallel and Distributed Processing, Sofia, Bulgaria","author":"Glaser H. W.","year":"1990"},{"key":"e_1_2_1_5_2","first-page":"117","volume-title":"Research Topics in Functional Programming","author":"Hughes R. J. M.","year":"1990"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-18317-5_10"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-53101-7_9"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-15975-4_26"},{"key":"e_1_2_1_9_2","doi-asserted-by":"crossref","unstructured":"P. Hudak S. L. Peyton Jones and P. L. Wadler (eds) \u2018Report on the programming language Haskell\u2014a non\u2010strict purely functional language version 1.2\u2019 SIGPLAN Notices 27 (5) 1\u2013162(1992).","DOI":"10.1145\/130697.130699"},{"key":"e_1_2_1_10_2","volume-title":"Functional Programming\u2014Application and Implementation","author":"Henderson P.","year":"1980"},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/356850.356854"},{"key":"e_1_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/32.2.98"},{"key":"e_1_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.2307\/2273733"},{"key":"e_1_2_1_14_2","volume-title":"The Implementation of Functional Programming Languages","author":"Jones S. L. Peyton","year":"1987"},{"key":"e_1_2_1_15_2","unstructured":"C. P.Wadsworth Semantics and pragmatics of the lambda calculus Ph.D thesis Oxford University England 1971."},{"key":"e_1_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/32.2.127"},{"key":"e_1_2_1_17_2","unstructured":"S.Cox H. W.GlaserandM.Reeve \u2018Compiling functional languages\u2019 in T. Johnsson S. L. Peyton Jones and K. Karlsson (eds) Implementation of Functional Languages Aspen\u00e4s Sweden September1988. Programming Methodology Group Report 53 Department of Computer Science Chalmers University of Technology G\u00f6teborg Sweden pp.145\u2013156."},{"key":"e_1_2_1_18_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-18317-5_3"},{"key":"e_1_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380090105"},{"key":"e_1_2_1_20_2","first-page":"147","volume-title":"3rd Implementation of Functional Languages on Parallel Architectures, Southampton, England","author":"Jones S. L. Peyton","year":"1991"},{"key":"e_1_2_1_21_2","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000319"},{"key":"e_1_2_1_22_2","unstructured":"P. H.Hartel H. W.GlaserandJ. M.Wild \u2018FAST compiler user's guide\u2019 Technical Report Department of Electronics and Computer Science University of Southampton England December1992."},{"key":"e_1_2_1_23_2","volume-title":"Denotational Semantics: the Scott\u2010Strachey Approach to Programming Language Theory","author":"Stoy J. E.","year":"1977"},{"key":"e_1_2_1_24_2","first-page":"266","volume-title":"Abstract Interpretation of Declarative Languages","author":"Wadler P. L.","year":"1987"},{"key":"e_1_2_1_25_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-18317-5_24"},{"key":"e_1_2_1_26_2","first-page":"227","volume-title":"Lisp and Functional Programming, Nice, France","author":"Burn G. L.","year":"1990"},{"key":"e_1_2_1_27_2","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000137"},{"key":"e_1_2_1_28_2","first-page":"187","volume-title":"Partial evaluation and mixed computation, Gammel Avernaes, Denmark","author":"Hughes R. J. M.","year":"1987"},{"key":"e_1_2_1_29_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-18317-5_21"},{"key":"e_1_2_1_30_2","unstructured":"A.Mycroft \u2018Abstract interpretation and optimising transformations for applicative programs\u2019 Ph.D Thesis University of Edinburgh Scotland 1981."},{"key":"e_1_2_1_31_2","unstructured":"P. H.Hartel H. W.GlaserandJ. M.Wild \u2018Compilation of functional languages using flow graph analysis\u2019 Technical Report CSTR 91\u201303 Department of Electronics and Computer Science University of Southampton England January1991."},{"key":"e_1_2_1_32_2","first-page":"123","volume-title":"3rd Implementation of Functional Languages on Parallel Architectures, Southampton, England","author":"Hartel P. H.","year":"1991"},{"key":"e_1_2_1_33_2","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165229"},{"key":"e_1_2_1_34_2","first-page":"171","volume-title":"2nd Implementation of Functional Languages on Parallel Architectures, Technical Report 90\u201316","author":"N\u00f6cker E. G. J. M. H.","year":"1990"},{"key":"e_1_2_1_35_2","doi-asserted-by":"crossref","unstructured":"T.Johnsson \u2018Efficient compilation of lazy evaluation\u2019 ACM Compiler Construction Montr\u00e9al Canada June1984.","DOI":"10.1145\/502874.502880"},{"issue":"6","key":"e_1_2_1_35_3","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1145\/502949.502880","volume":"19","journal-title":"SIGPLAN Notices"},{"key":"e_1_2_1_36_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380210306"},{"key":"e_1_2_1_37_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380180305"},{"key":"e_1_2_1_38_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380170905"},{"key":"e_1_2_1_39_2","unstructured":"W. G.Vree \u2018Design considerations for a parallel reduction machine\u2019 Ph.D. Thesis Department of Computer Systems University of Amsterdam December1989."},{"key":"e_1_2_1_40_2","first-page":"202","volume-title":"3rd Parallel Architectures and Languages Europe (PARLE), LNCS 505\/506, Veldhoven, The Netherlands","author":"N\u00f6cker E. G. J. M. H.","year":"1991"},{"key":"e_1_2_1_41_2","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165230"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380240202","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380240202","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,24]],"date-time":"2023-10-24T18:26:26Z","timestamp":1698171986000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380240202"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,2]]},"references-count":41,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,2]]}},"alternative-id":["10.1002\/spe.4380240202"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380240202","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,2]]}}}