{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:27:00Z","timestamp":1725636420102},"publisher-location":"London","reference-count":14,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198796"},{"type":"electronic","value":"9781447132363"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-1-4471-3236-3_3","type":"book-chapter","created":{"date-parts":[[2011,11,24]],"date-time":"2011-11-24T04:23:05Z","timestamp":1322108585000},"page":"26-42","source":"Crossref","is-referenced-by-count":3,"title":["Projection-based Termination Analysis"],"prefix":"10.1007","author":[{"given":"Kei","family":"Davis","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"S. Abramsky and C. Hankin. An introduction to abstract interpretation. Chapter 1 of Abstract Interpretation of Declarative Languages. S. Abramsky and C. Hankin, eds. Ellis-Horwood, 1987."},{"key":"3_CR2","unstructured":"P. Cousot and R. Cousot. Comparing the Galois connection and widening\/narrowing approaches to abstract interpretation (preliminary draft). LIX, Ecole Polytechnique, 91128 Palaiseau Cedex, France, May 15, 1991."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"K. Davis. Higher-order Binding-time Analysis. Proceedings of the 1993 ACM on Partial Evaluation and Semantics-Based Program Manipulation (PEPM\u2019 93).","DOI":"10.1145\/154630.154639"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"K. Davis and P. Wadler. Strictness analysis in 4D. Functional Programming: Proceedings of the 1990 Glasgow Workshop, 13-15 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":"3_CR5","unstructured":"K. Davis and P. Wadler. Strictness analysis: Proved and improved. Functional Programming: Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland. K. Davis and J. Hughes, eds. Springer Workshops in Computing. Springer-Verlag, 1990."},{"key":"3_CR6","unstructured":"A. Ferguson. Concrete Data Structures. Functional Programming: Proceedings of the 1992 Glasgow Workshop, 6-8 July 1992, Ayr, Scotland. Springer Workshops in Computing, Springer-Verlag, 1992."},{"key":"3_CR7","unstructured":"P.H. Hartel. On the benefits of different analyses in the compilation of lazy functional languages. 3rd Informal International Workshop on the Parallel Implementation of Functional Languages, Southampton, 1991."},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1017\/S0960129500001493","volume":"2","author":"RJM Hughes","year":"1992","unstructured":"R.J.M. Hughes and J. Launchbury. Projections for polymorphic first-order strictness analysis. Math. Struct, in Comp. Science, vol. 2, pp. 301\u2013326, CUP, 1992.","journal-title":"Math. Struct, in Comp. Science"},{"key":"3_CR9","volume-title":"Functional Programming and Computer Architecture","author":"S Hunt","year":"1989","unstructured":"S. Hunt. Frontiers and open sets in abstract interpretation. Functional Programming and Computer Architecture. (Imperial College, London, September 1989.) ACM, Addison-Wesley Publishing, Reading, MA, U.S.A. 1989."},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"J. Launchbury. Projection Factorisations in Partial Evaluation. Ph.D. Thesis, Glasgow University, Nov 89. Distinguished Dissertation in Computer Science, Vol 1, CUP, 1991.","DOI":"10.1017\/CBO9780511569814"},{"key":"3_CR11","unstructured":"A. Mycroft. Abstract Interpretation and Optimising Transformations for Applicative Programs. Ph.D. thesis, University of Edinburgh, 1981."},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"J. Seward. Solving recursive domain equations by term rewriting. Functional Programming: Proceedings of the 1993 Glasgow Workshop, 5-7 July 1993, Ayr, Scotland. Springer Workshops in Computing. Springer-Verlag, 1994 (this volume).","DOI":"10.1007\/978-1-4471-3236-3_21"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"P. Wadler and J. Hughes. Projections for Strictness Analysis. Proceedings of Functional Programming Languages and Computer Architecture. LNCS 274. Springer-Verlag, 1987.","DOI":"10.1007\/3-540-18317-5_21"},{"key":"3_CR14","unstructured":"J. Young. The Theory and Practice of Semantic Program Analysis for Higher-Order Functional Programming Languages, Ph.D. thesis, Research report YALEU\/DCS\/RR-669, Yale University, 1989."}],"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_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T20:33:40Z","timestamp":1560976420000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3236-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198796","9781447132363"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3236-3_3","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1994]]}}}