{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:54Z","timestamp":1751983674205},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540543961"},{"type":"electronic","value":"9783540475996"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540543961_23","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:43:58Z","timestamp":1330209838000},"page":"473-495","source":"Crossref","is-referenced-by-count":19,"title":["Finiteness analysis"],"prefix":"10.1007","author":[{"given":"Carsten Kehler","family":"Holst","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,6]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Anders Bondorf. Automatic autoprojection of higher order recursive equations. In Neil D. Jones, editor, 3rd European Symposium on Programming (ESOP '90), volume 432 of Lecture Notes in Computer Science, pages 70\u201387, Copenhagen, Denmark, May 1990. Springer-Verlag.","DOI":"10.1007\/3-540-52592-0_56"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"G. L. Burn, C. L. Hankin, and S Abramsky. The theory of strictness analysis for higher order functions. In H. Ganzinger and N. D. Jones, editors, Programs as Data Structures, pages 42\u201362. Lecture Notes in Computer Science, October 1985.","DOI":"10.1007\/3-540-16446-4_3"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Charles Consel. New insights into partial evaluation: The schism experiment. In Harald Ganzinger, editor, 2nd European Symposium on Programming, (ESOP '88), volume 300 of Lecture Notes in Computer Science, pages 236\u2013247, Nancy, France, 1988. Springer-Verlag.","DOI":"10.1007\/3-540-19027-9_16"},{"key":"23_CR4","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/S0747-7171(87)80022-6","volume":"3","author":"N. Dershowitz","year":"1987","unstructured":"Nachum Dershowitz. Termination of rewriting. Journal of Symbolic Computation, 3:69\u2013116, 1987.","journal-title":"Journal of Symbolic Computation"},{"key":"23_CR5","unstructured":"Neil D. Jones. Automatic program specialization: A re-examination from basic principles. In A.P. Ershov D. Bj\u00f8rner and N.D. Jones, editors, Partial Evaluation and Mixed Computation, pages 225\u2013282. North-Holland, 1988."},{"key":"23_CR6","unstructured":"Neil D. Jones and Tine Andersen. Notes on a safe binding time analysis. Internal note., 1989."},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Neil D. Jones, Carsten K. Gomard, Anders Bondorf, Olivier Danvier, and Torben \u00c6. Mogensen. A self-applicable partial evaluator for the lambda-calculus. In 1990 Interational Conference on Computer Languages. IEEE computer Society, 1990.","DOI":"10.1109\/ICCL.1990.63760"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Neil D. Jones and Allan Mycroft. Data flow analysis of applicative programs using minimal function graphs. In Thirteenth ACM Symposium on Principles of Programming Languages, St. Petersburg, Florida, pages 296\u2013306. ACM, 1986.","DOI":"10.1145\/512644.512672"},{"issue":"1","key":"23_CR9","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF01806312","volume":"2","author":"N. D. Jones","year":"1989","unstructured":"Neil D. Jones, Peter Sestoft, and Harald S\u00f8ndergaard. 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":"23_CR10","volume-title":"Introduction to Metamathematics","author":"S. C. Kleene","year":"1952","unstructured":"S. C. Kleene. Introduction to Metamathematics. D. van Nostrand, Princeton, New Jersey, 1952."},{"key":"23_CR11","unstructured":"Torben \u00c6. Mogensen. Partially static structures in a self-applicable partial evaluator. In A.P. Ershov D. Bj\u00f8rner and N.D. Jones, editors, Partial Evaluation and Mixed Computation, pages 325\u2013347. North-Holland, 1988."},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Lutz Pl\u00fcmer. Termination Proofs for Logic Programs, volume 446 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52837-7"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Peter Sestoft. The structure of a self-applicable partial evaluator. In Harald Ganzinger and Neil D. Jones, editors, Programs as Data Objects, volume 217 of Lecture Notes in Computer Science, pages 236\u2013256, Copenhagen, Denmark, 1986. Springer-Verlag.","DOI":"10.1007\/3-540-16446-4_14"},{"key":"23_CR14","unstructured":"Peter Sestoft. Automatic call unfolding in a partial evaluator. In A.P. Ershov D. Bj\u00f8rner and N.D. Jones, editors, Partial Evaluation and Mixed Computation, pages 485\u2013506. North-Holland, 1988."},{"key":"23_CR15","unstructured":"V. F. Turchin. The algorithm of generalization in the supercompiler. In A.P. Ershov D. Bj\u00f8rner and N.D. Jones, editors, Partial Evaluation and Mixed Computation, pages 531\u2013549. North-Holland, 1988."}],"container-title":["Lecture Notes in Computer Science","Functional Programming Languages and Computer Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540543961_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:53:56Z","timestamp":1605646436000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540543961_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540543961","9783540475996"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3540543961_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}