{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:17:56Z","timestamp":1742617076871,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540552536"},{"type":"electronic","value":"9783540468035"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55253-7_13","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:56:23Z","timestamp":1330250183000},"page":"219-232","source":"Crossref","is-referenced-by-count":2,"title":["Approximate fixed points in abstract interpretation"],"prefix":"10.1007","author":[{"given":"Chris","family":"Hankin","sequence":"first","affiliation":[]},{"given":"Sebastian","family":"Hunt","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"G. L. Burn, C. L. Hankin and S. Abramsky, Strictness Analysis for Higherorder functions, Science of Computer Programming 7 (1986), pp 249\u2013278, North-Holland.","key":"13_CR1","DOI":"10.1016\/0167-6423(86)90010-9"},{"unstructured":"P. Cousot, M\u00e9thodes It\u00e9ratives de Construction et d'Approximation de Points Fixes d'Op\u00e9rateurs Monotones sur un Treilli, Analyse S\u00e9mantique des Programmes, Th\u00e8se d'Etat, Universit\u00e9 de Grenoble, 1978.","key":"13_CR2"},{"unstructured":"P. Cousot, Semantic foundations of program analysis, in Muchnick S. S. and Jones N. D. (eds) Program Flow Analysis, pp 303\u2013342, Prentice-Hall, 1981.","key":"13_CR3"},{"doi-asserted-by":"crossref","unstructured":"C. Clack and S. L. Peyton Jones, Strictness Analysis \u2014 a practical approach, in J.-P. Jouannaud (ed), Functional Programming Languages and Computer Architecture, LNCS 201, pp 352\u201349, Springer Verlag.","key":"13_CR4","DOI":"10.1007\/3-540-15975-4_28"},{"unstructured":"G. K. Gierz, K. H. Hoffmann, K. Keimel, J. D. Lawson, M. Mislove, and D. S. Scott, A Compendium of Continuous Lattices, Springer Verlag.","key":"13_CR5"},{"doi-asserted-by":"crossref","unstructured":"S. Hunt, Frontiers and open sets in abstract interpretation, in D. MacQueen (ed), Functional Programming Languages and Computer Architecture, pp 1\u201311, ACM Press.","key":"13_CR6","DOI":"10.1145\/99370.99371"},{"doi-asserted-by":"crossref","unstructured":"S. Hunt and C. L. Hankin, Fixed Points and Frontiers: a new perspective, Journal of Functional Programming 1(1), pp 91\u2013120, Cambridge University Press.","key":"13_CR7","DOI":"10.1017\/S0956796800000071"},{"doi-asserted-by":"crossref","unstructured":"Jones N. D. and Mycroft A. Dataflow Analysis of Applicative Programs using Minimal Function Graphs, privately circulated manuscript, October 1985.","key":"13_CR8","DOI":"10.1145\/512644.512672"},{"unstructured":"A. R. Meyer, Complexity of Program Flow Analysis for Strictness: Application of a Fundamental Theorem of Denotational Semantics, private communication.","key":"13_CR9"},{"doi-asserted-by":"crossref","unstructured":"C. C. Martin and C. L. Hankin, Finding Fixed Points in Finite Lattices, in G. Kahn (ed), Functional Programming Languages and Computer Architecture, LNCS 274, pp 426\u2013445, Springer Verlag.","key":"13_CR10","DOI":"10.1007\/3-540-18317-5_23"}],"container-title":["Lecture Notes in Computer Science","ESOP '92"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55253-7_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:31:34Z","timestamp":1742592694000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55253-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540552536","9783540468035"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-55253-7_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}