{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:30:14Z","timestamp":1725643814259},"publisher-location":"London","reference-count":8,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198208"},{"type":"electronic","value":"9781447132158"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3215-8_5","type":"book-chapter","created":{"date-parts":[[2011,12,17]],"date-time":"2011-12-17T05:34:20Z","timestamp":1324100060000},"page":"57-61","source":"Crossref","is-referenced-by-count":1,"title":["Abstract Interpretation of Higher Order Functions using Concrete Data Structures (Summary)"],"prefix":"10.1007","author":[{"given":"A. B.","family":"Ferguson","sequence":"first","affiliation":[]},{"given":"John","family":"Hughes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"Cambridge University Press","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, Algebraic Methods in semantics, 35\u201387, Cambridge University Press (1985)."},{"key":"5_CR2","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0167-6423(86)90010-9","volume":"7","author":"Geoffrey L. Burn","year":"1986","unstructured":"G. L. Burn, C. L. Hankin and S. Abramsky. Strictness Analysis for Higher-Order Functions. Science of Computer Programming, 7, 1986.","journal-title":"Science of Computer Programming"},{"key":"5_CR3","volume-title":"Functional Programming Glasgow","author":"J Hughes","year":"1992","unstructured":"John Hughes and A. B. Ferguson, A Loop-detecting Interpreter for Lazy, Higher-order Programs, Functional Programming, Glasgow\n                1992, Springer-Verlag, Workshops in Computing (1992)."},{"key":"5_CR4","unstructured":"Sebastian Hunt, Frontiers And Open Sets in Abstract Interpretation."},{"key":"5_CR5","unstructured":"Sebastian Hunt, personal communication."},{"key":"5_CR6","unstructured":"Julian Seward, presentation, Strictness Day, May 1992, Strathaven."},{"key":"5_CR7","unstructured":"J. H. Young, The Theory and Practice of Semantic Program Analysis for Higher-Order Functional Programming Languages. Yale University Research Report YALEU\/DCS\/RR-669."},{"key":"5_CR8","unstructured":"Phil Wadler, Strictness Analysis on Non-Flat Domains (by Abstract Interpretation over Finite Domains)."}],"container-title":["Workshops in Computing","Functional Programming, Glasgow 1992"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3215-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,8]],"date-time":"2018-10-08T23:16:36Z","timestamp":1539040596000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3215-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198208","9781447132158"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3215-8_5","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}