{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T07:00:40Z","timestamp":1770274840731,"version":"3.49.0"},"publisher-location":"London","reference-count":11,"publisher":"Springer London","isbn-type":[{"value":"9783540198796","type":"print"},{"value":"9781447132363","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-1-4471-3236-3_17","type":"book-chapter","created":{"date-parts":[[2011,11,24]],"date-time":"2011-11-24T09:23:05Z","timestamp":1322126585000},"page":"201-221","source":"Crossref","is-referenced-by-count":11,"title":["Measuring the effectiveness of a simple strictness analyser"],"prefix":"10.1007","author":[{"given":"Simon Peyton","family":"Jones","sequence":"first","affiliation":[]},{"given":"Will","family":"Partain","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"GL Burn [April 1990], \u201cThe evaluation transformer model of reduction and its correctness,\u201d in TAPSOFT 91, Brighton."},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"GL Burn, CL Hankin & S Abramsky [Nov 1986], \u201cStrictness analysis for higher order functions,\u201d Science of Computer Programming 7, 249\u2013278.","DOI":"10.1016\/0167-6423(86)90010-9"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"S Finne & G Burn [June 1993], \u201cAssessing the evaluation transformer model of reduction on the spineless G-machine,\u201d in Proc Functional Programming Languages and Computer Architecture, Copenhagen, ACM, 331\u2013340.","DOI":"10.1145\/165180.165229"},{"key":"17_CR4","unstructured":"CV Hall [July 1993], \u201cA framework for optimising abstract data types,\u201d in Glasgow Functional Programming Workshop, Ayr."},{"key":"17_CR5","unstructured":"DB Howe & GL Burn [July 1993], \u201cUsing strictness in the STG machine,\u201d in Glasgow Functional Programming Workshop, Ayr."},{"key":"17_CR6","unstructured":"RJM Hughes [Sept 1992], \u201cA loop-detecting interpreter for lazy higher-order programs,\u201d Department of Computer Science, Chalmers University."},{"key":"17_CR7","unstructured":"S Marlow [July 1993], \u201cUpdate avoidance analysis using abstract interpretation,\u201d in Glasgow Functional Programming Workshop, Ayr."},{"key":"17_CR8","unstructured":"SL Peyton Jones & CD Clack [1986], \u201cFinding fixpoints in abstract interpretation,\u201d in Abstract Interpretation of Declarative Languages, C Hankin & S Abramsky, eds., Ellis Horwood, Chichester, 246\u2013265."},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"SL Peyton Jones & J Launchbury [Sept 1991], \u201cUnboxed values as first class citizens,\u201d in Functional Programming Languages and Computer Architecture, Boston, Hughes, ed., LNCS 523, Springer Verlag, 636\u2013666.","DOI":"10.1007\/3540543961_30"},{"key":"17_CR10","unstructured":"S Smetsers, E Nocker, J van Groningen & R Plasmeijer [Sept 1991], \u201cGenerating efficient code for lazy functional languages,\u201d in Functional Programming Languages and Computer Architecture, Boston, Hughes, ed., LNCS 523, Springer Verlag."},{"key":"17_CR11","unstructured":"PL Wadler & John Hughes [Sept 1987], \u201cProjections for strictness analysis,\u201d in Functional Programming Languages and Computer Architecture, G Kahn, ed., Springer Verlag LNCS 274."}],"container-title":["Workshops in Computing","Functional Programming, Glasgow 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3236-3_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T11:33:52Z","timestamp":1741952032000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3236-3_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198796","9781447132363"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3236-3_17","relation":{},"ISSN":["1431-1682"],"issn-type":[{"value":"1431-1682","type":"print"}],"subject":[],"published":{"date-parts":[[1994]]}}}