{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:50:40Z","timestamp":1743029440864,"version":"3.40.3"},"publisher-location":"London","reference-count":8,"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_8","type":"book-chapter","created":{"date-parts":[[2011,12,17]],"date-time":"2011-12-17T10:34:20Z","timestamp":1324118060000},"page":"85-101","source":"Crossref","is-referenced-by-count":1,"title":["A Loop-detecting Interpreter for Lazy, Higher-order Programs"],"prefix":"10.1007","author":[{"given":"John","family":"Hughes","sequence":"first","affiliation":[]},{"given":"A. B.","family":"Ferguson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","volume-title":"Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints","author":"P Cousot","year":"1977","unstructured":"Patrick Cousot and Radhia Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, ACM Principles of Programming Languages, 1977."},{"issue":"1","key":"8_CR2","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/BF01806312","volume":"2","author":"ND Jones","year":"1989","unstructured":"Neil D. Jones, Peter Sestoft and Harald S\u00f8nderg\u00e2rd, Mix: a self-applicable partial evaluator for experiments in compiler generation, Lisp and Symbolic Computation, 2(1):9\u201350, 1989.","journal-title":"Lisp and Symbolic Computation"},{"key":"8_CR3","volume-title":"Finding fixpoints on function spaces","author":"J Young","year":"1986","unstructured":"Jonathon Young and Paul Hudak, Finding fixpoints on function spaces, Research Report YALEU\/DCS\/R.R-505, Dept. of Computer Science, Yale University (December 1986)."},{"key":"8_CR4","volume-title":"A Loop Detecting Interpreter for Lazy Programs","author":"CK Holst","year":"1992","unstructured":"Carsten Kehler Holst and John Hughes, A Loop Detecting Interpreter for Lazy Programs, Proc. Glasgow 1991 Workshop on Functional Programming, Springer-Verlag Workshops in Computing, 1992."},{"key":"8_CR5","volume-title":"Theory and practice of sequential algorithms: the kernel of the applicative language CDS","author":"G Berry","year":"1985","unstructured":"G. Berry and P.-L. Curien, Theory and practice of sequential algorithms: the kernel of the applicative language CDS, in Algebraic Methods. in semantics, 35\u201387, Cambridge University Press (1985)."},{"key":"8_CR6","volume-title":"Finiteness analysis","author":"CK Holst","year":"1991","unstructured":"Carsten Kehler Holst, Finiteness analysis, in ACM Conference on Functional Programming Languages and Computer Architectures, Cambridge MA, 1991."},{"key":"8_CR7","volume-title":"Functional Programming, Glasgow 1992","author":"AB Ferguson","year":"1992","unstructured":"A.B. Ferguson and John Hughes, Abstract Interpretation of Higher Order Functions using Concrete Data Structures, in Functional Programming, Glasgow 1992, eds. J. Launchbury and P. M. Sansom, Springer Verlag Workshops in Computing, 1992."},{"key":"8_CR8","unstructured":"Sebastian Hunt, personal communications, 1992."}],"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_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,18]],"date-time":"2023-02-18T21:18:56Z","timestamp":1676755136000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-3215-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198208","9781447132158"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3215-8_8","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}