{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:20:28Z","timestamp":1743146428163,"version":"3.40.3"},"publisher-location":"London","reference-count":9,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198208"},{"type":"electronic","value":"9781447132158"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3215-8_4","type":"book-chapter","created":{"date-parts":[[2011,12,17]],"date-time":"2011-12-17T10:34:20Z","timestamp":1324118060000},"page":"43-56","source":"Crossref","is-referenced-by-count":0,"title":["Analysing Functions by Projection-Based Backward Abstraction"],"prefix":"10.1007","author":[{"given":"Kei","family":"Davis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Wray, S. \u201cA new strictness detection algorithm.\u201d In Proceedings of the Workshop in Implementation of Functional Languages (Aspen\u00e4s, Sweden). L. Augustsson et. al., eds. Report 17, Programming Methodology Group, Department of Computer Sciences, Chalmers University of Technology and University of G\u00f6teborg, G\u00f6teborg, Sweden."},{"key":"4_CR2","volume-title":"The Chalmers Lazy ML Compiler","author":"L Augustsson","year":"1988","unstructured":"Augustsson, L. and.Johnson, T. \u201cThe Chalmers Lazy ML Compiler.\u201d Department of Computer Science, Chalmers University of Technology, G\u00f6teborg, Sweden, 1988."},{"key":"4_CR3","unstructured":"Burn, G.L., \u201cUsing Projection Analysis in Compiling Lazy Functional Programs\u201d, Proceedings of the 1990 ACM Conference on Lisp and Functioz al Programming,ACM, 1990."},{"key":"4_CR4","volume-title":"Proceedings of Functional Programming Languages and Computer Architecture (Portland, Oregon)","author":"P Wadler","year":"1987","unstructured":"Wadler, P., and Hughes, J. \u201cProjections for Strictness Analysis.\u201d In Proceedings of Functional Programming Languages and Computer Architecture (Portland, Oregon). G. Kahn, ed. LNCS 274. Springer-Verlag, Berlin, 1987."},{"key":"4_CR5","unstructured":"Hunt, S. Projection analysis and stable functions. Unfinished manuscript."},{"key":"4_CR6","volume-title":"Functional Programming: Proceedings of the 1991 Glasgow Workshop, 13-15 August 1991, Isle of Skye","author":"K Davis","year":"1992","unstructured":"Davis, K. \u201cA Note on the Choice of Domains for Projection-Based Program Analysis.\u201d In Functional Programming: Proceedings of the 1991 Glasgow Workshop, 13\u201315 August 1991, Isle of Skye, . P. Wadler et al., eds. Springer Workshops in Computing. Springer-Verlag, 1992."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Launchbury, J. Projection Factorisations in Partial Evaluation. PhD Thesis, Glasgow University, Nov 89. Distinguished Dissertation in Computer Science, Vol 1, CUP, 1991.","DOI":"10.1017\/CBO9780511569814"},{"key":"4_CR8","first-page":"375","volume-title":"Proceedings of the 5th ICALP","author":"G Berry","year":"1978","unstructured":"Berry, G. \u201cStable models of typed lambda-calculi.\u201d In Proceedings of the 5th ICALP pp 375\u2013387, LNCS 62. Springer-Verlag, Berlin, 1978."},{"key":"4_CR9","unstructured":"Hughes, R.J.M. and Launchbury, J. \u201cRelational Reversal of Abstract Interpretation.\u201d In ??."}],"container-title":["Workshops in Computing","Functional Programming, Glasgow 1992"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3215-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T06:58:45Z","timestamp":1675925925000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-3215-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198208","9781447132158"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3215-8_4","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}