{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:59Z","timestamp":1751983679030},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540620648"},{"type":"electronic","value":"9783540496373"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-62064-8_23","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:32:56Z","timestamp":1330295576000},"page":"273-284","source":"Crossref","is-referenced-by-count":9,"title":["BTA Algorithms to ensure termination of off-line partial evaluation"],"prefix":"10.1007","author":[{"given":"Arne J.","family":"Glenstrup","sequence":"first","affiliation":[]},{"given":"Neil D.","family":"Jones","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"23_CR1","unstructured":"A.V. Aho, J.E. Hopcroft and J.D. Ullman, \u2018The design and analysis of computer algorithms\u2019 Addison-Wesley, 1975."},{"key":"23_CR2","unstructured":"P.H. Andersen and N.C.K. Holst, Private communication."},{"key":"23_CR3","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0304-3975(82)90111-6","volume":"18","author":"A.P. Ershov","year":"1982","unstructured":"A.P. Ershov, \u2018Mixed computation: potential applications and problems for study.\u2019 Theoretical Computer Science, 18:41\u201367, 1982.","journal-title":"Theoretical Computer Science"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"FPCA","author":"N.C.K. Holst","year":"1991","unstructured":"N.C.K. Holst, \u2018Finiteness analysis,\u2019 in J. Hughes (ed.), FPCA, (Lecture Notes in Computer Science, vol. 523), Berlin: Springer-Verlag, 1991."},{"key":"23_CR5","first-page":"225","volume-title":"Partial Evaluation and Mixed Computation","author":"N.D. Jones","year":"1988","unstructured":"N.D. Jones, \u2018Automatic program specialization: a re-examination from basic principles,\u2019 in D. Bj\u00f8rner, A.P. Ershov, and N.D. Jones (eds.), Partial Evaluation and Mixed Computation, pp. 225\u2013282, Amsterdam: North-Holland, 1988."},{"key":"23_CR6","unstructured":"N.D. Jones, Carsten Gomard and Peter Sestoft, \u2018Partial evaluation and Automatic program generation,\u2019 Prentice Hall International, June 1993."},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"N.D. Jones, \u2018What not to do when writing an interpreter for specialisation,\u2019 in O. Danvy, R. Gl\u00fcck, and P. Thiemann (eds.), Partial Evaluation. Proceedings, Springer-Verlag, Lecture Notes in Computer Science, to appear, 1996.","DOI":"10.1007\/3-540-61580-6_11"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"G. Kahn, \u2018Natural semantics,\u2019 in F.J. Brandenburg et. al. (eds.), STACS 87. (Lecture Notes in Computer Science, vol. 247).","DOI":"10.1007\/BFb0039592"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"M. Leuschel and B. Martens, \u2018Global control for partial deduction through characteristic atoms and global trees,\u2019 in O. Danvy, R. Gl\u00fcck, and P. Thiemann (eds.), Partial Evaluation. Proceedings, Springer-Verlag, Lecture Notes in Computer Science, to appear, 1996.","DOI":"10.1007\/3-540-61580-6_13"},{"key":"23_CR10","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0743-1066(91)90027-M","volume":"11","author":"J.W. Lloyd","year":"1991","unstructured":"J.W. Lloyd and J.C. Shepherdson, \u2018Partial evaluation in logic programming,\u2019 Journal of Logic Programming, 11:217\u2013242, 1991.","journal-title":"Journal of Logic Programming"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"B. Martens and J. Gallagher, \u2018Ensuring Global Termination of Partial Deduction While Allowing Flexible Polyvariance,\u2019 in L. Sterling (ed.), ICLP'95, Twelfth International Conference on Logic Programming, pp. 597\u2013611 MIT Press, 1995","DOI":"10.7551\/mitpress\/4298.003.0059"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62064-8_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T17:49:53Z","timestamp":1713635393000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62064-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540620648","9783540496373"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-62064-8_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}