{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:17Z","timestamp":1761611297647},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540541523"},{"type":"electronic","value":"9783540474722"}],"license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54152-7_75","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:32:43Z","timestamp":1330209163000},"page":"367-384","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Static analysis of term graph rewriting systems"],"prefix":"10.1007","author":[{"given":"Chris","family":"Hankin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"21_CR1","unstructured":"Abramsky S. and Hankin C. L.(eds) Abstract Interpretation of Declarative Languages, Ellis Horwood, 1987."},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Abramsky S. Abstract Interpretation, Logical Relations and Kan Extensions, to appear in Logic and Computation, 1 1.","DOI":"10.1093\/logcom\/1.1.5"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Banach R. Dataflow Analysis of Term Graph Rewriting Systems, PARLE '89, Volume II, LNCS 366, Springer Verlag, pp 55\u201372.","DOI":"10.1007\/3-540-51285-3_33"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Barendregt H. P., Eekelen M. C. J. D., Glauert J. R. W., Kennaway J. R., Plasmeijer M. J. and Sleep M. R. Term Graph Rewriting, PARLE '87, Volume II, LNCS 259, Springer Verlag, pp 141\u2013158.","DOI":"10.1007\/3-540-17945-3_8"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Barendregt H. P., Kennaway J. R., Klop J. W. and Sleep M. R. Needed Reduction and Spine Strategies for the Lambda Calculus, Information and Computation, 75 3, pp 191\u2013231.","DOI":"10.1016\/0890-5401(87)90001-0"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Cousot P. and Cousot R. Abstract Interpretation: A unified lattice model for static analysis of programs by construction of approximations of fixed points, 4th POPL, pp238\u2013252, 1977.","DOI":"10.1145\/512950.512973"},{"key":"21_CR7","unstructured":"Goldberg B. and Hudak P. Serial Combinators: Optimal Grains for Parallelism, 2nd FPCA, LNCS 201, Springer Verlag, pp 382\u2013399."},{"key":"21_CR8","unstructured":"Hudak P. A semantic model of reference counting and its abstraction, in [AH87], pp45\u201362."},{"key":"21_CR9","unstructured":"Jones N. D. Flow analysis of lazy higher-orderfunctional programs, in [AH87], pp103\u2013122."},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Kennaway J. R. On \u201cOn Graph Rewritings\u201d, Theoretical Computer Science, 52, pp37\u201358.","DOI":"10.1016\/0304-3975(87)90079-X"},{"key":"21_CR11","unstructured":"Klop J. W. Term Rewriting Systems, Notes for the seminar on graph reduction machines, Ustica, September 1985. A revised version to appear in the \u201cHandbook of Logic and Computer Science\u201d, Oxford University Press, 1991."},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Mishra P. and Keller R. M. Static inference of properties of applicative programs, 11th POPL, 1984.","DOI":"10.1145\/800017.800535"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Sands D. Complexity Analysis for a Lazy Higher-order Language, ESOP '90, LNCS 432, Springer Verlag, pp 361\u2013376.","DOI":"10.1007\/3-540-52592-0_74"}],"container-title":["Lecture Notes in Computer Science","PARLE '91 Parallel Architectures and Languages Europe"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54152-7_75","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:38:05Z","timestamp":1558269485000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54152-7_75"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541523","9783540474722"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-54152-7_75","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]},"assertion":[{"value":"8 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}