{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:00:53Z","timestamp":1725642053970},"publisher-location":"London","reference-count":12,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197607"},{"type":"electronic","value":"9781447131960"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3196-0_6","type":"book-chapter","created":{"date-parts":[[2011,12,12]],"date-time":"2011-12-12T02:48:08Z","timestamp":1323658088000},"page":"73-81","source":"Crossref","is-referenced-by-count":0,"title":["A Note on the Choice of Domains for Projection-Based Program Analysis"],"prefix":"10.1007","author":[{"given":"Kei","family":"Davis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_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":"6_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":"6_CR3","volume-title":"Abstract Interpretation of Declarative Languages","author":"S Abramsky","year":"1987","unstructured":"Abramsky, S. and Hankin, C. \u201cAn introduction to abstract interpretation.\u201d Ch. 1 of Abstract Interpretation of Declarative Languages. Abramsky, S. and Hankin, C. (eds. ). Ellis-Horwood, 1987."},{"key":"6_CR4","volume-title":"Proceedings of the ACM Conference on Lisp and Functional Programming","author":"GL Burn","year":"1990","unstructured":"Burn, G.L. \u201cUsing projection analysis in compiling lazy functional programs.\u201d In Proceedings of the ACM Conference on Lisp and Functional Programming (Nice, June 1990 )."},{"key":"6_CR5","volume-title":"Projections for Strictness Analysis","author":"P Wadler","year":"1987","unstructured":"Wadler, P., and Hughes, J. Projections for Strictness Analysis. Report 35, Programming Methodology Group, Department of Computer Sciences, Chalmers University of Technology and University of G\u00f6teborg, G\u00f6teborg, Sweden, 1987."},{"key":"6_CR6","unstructured":"Davis, K. and Wadler, P. \u201cStrictness analysis: Proved and improved.\u201d In Functional Programming, Glasgow 1989: Proceedings of the 1989 Glasgow Workshop on Functional Programming, 21\u201323 August 1989, Fraserburgh, Scotland. K. Davis and J. Hughes, eds. Springer Workshops in Computing. Springer-Verlag, 1990."},{"key":"6_CR7","volume-title":"Projections for polymorphic strictness analysis","author":"RJM Hughes","year":"1990","unstructured":"Hughes, R.J.M. and Launchbury, J. Projections for polymorphic strictness analysis. CS Report Series CSC 90\/R33, Department of Computing Science, University of Glasgow, 1990."},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Davis, K. and Wadler, P. \u201cStrictness analysis in 4D.\u201d In Functional Programming, Glasgow 1990: Proceedings of the 1990 Glasgow Workshop on Functional Programming, 13\u201315 August 1990, Ullapool, Scotland. Simon L. Peyton Jones et al., eds. Springer Workshops in Computing. Springer-Verlag, 1991.","DOI":"10.1007\/978-1-4471-3810-5_3"},{"key":"6_CR9","volume-title":"Projection Factorisation in Partial Evaluation","author":"J Launchbury","year":"1990","unstructured":"Launchbury, J. Projection Factorisation in Partial Evaluation. Ph.D. thesis, Department of Computing Science, University of Glasgow, 1990."},{"key":"6_CR10","unstructured":"Hunt, S. Projection analysis and stable functions. Unfinished manuscript."},{"key":"6_CR11","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":"6_CR12","doi-asserted-by":"crossref","unstructured":"Hughes, R.J.M. and Launchbury, J. \u201cTowards relating forwards and backwards analysis.\u201d In Functional Programming, Glasgow 1990: Proceedings of the 1990 Glasgow Workshop on Functional Programming, 13\u201315 August 1990, Ullapool, Scotland. Simon L. Peyton Jones et al., eds. Springer Workshops in Computing. Springer-Verlag, 1991.","DOI":"10.1007\/978-1-4471-3810-5_9"}],"container-title":["Workshops in Computing","Functional Programming, Glasgow 1991"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3196-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T13:32:01Z","timestamp":1555853521000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3196-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197607","9781447131960"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3196-0_6","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1992]]}}}