{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:59Z","timestamp":1725664979558},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617396"},{"type":"electronic","value":"9783540706748"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61739-6_34","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:19:22Z","timestamp":1330294762000},"page":"67-82","source":"Crossref","is-referenced-by-count":7,"title":["Termination analysis for offline partial evaluation of a higher order functional language"],"prefix":"10.1007","author":[{"given":"Peter Holst","family":"Andersen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carsten Kehler","family":"Holst","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"6_CR1","unstructured":"The Similix system, version 5.1. 1995."},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Lars Ole Andersen. Binding-time analysis and the taming of C pointers. In David Schmidt, editor, Proc. of ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93, pages 47\u201358, 1993.","DOI":"10.1145\/154630.154636"},{"key":"6_CR3","unstructured":"Lars Ole Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, May 1994. (DIKU report 94\/19)."},{"key":"6_CR4","volume-title":"Technical Report","author":"P. H. Andersen","year":"1996","unstructured":"Peter Holst Andersen and Carsten Kehler Holst. Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language. Technical Report, DIKU, University of Copenhagen, Denmark, 1996. To appear."},{"key":"6_CR5","volume-title":"Technical Report 93\/4","author":"A. Bondorf","year":"1993","unstructured":"Anders Bondorf and Jesper J\u00d8rgensen. Efficient analyses for realistic off-line partial evaluation: extended version. Technical Report 93\/4, DIKU, University of Copenhagen, Denmark, 1993."},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Charles Consel. A tour of Schism: a partial evaluation system for higher-order applicative languages. In David Schmidt, editor, ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation, pages 145\u2013154, June 1993.","DOI":"10.1145\/154630.154645"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0020-0190(89)90113-0","volume":"30","author":"C. Consel","year":"1989","unstructured":"Charles Consel and Olivier Danvy. Partial evaluation of pattern matching in strings. Information Processing Letters, 30:79\u201386, January 1989.","journal-title":"Information Processing Letters"},{"key":"6_CR8","unstructured":"B. A. Davey and H. A. Priestley. Introduction to Lattices and Order. Cambridge Mathematical Textbooks, Cambridge University Press, 1990."},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Arne J. Glenstrup and Neil D. Jones. BTA algorithms to ensure termination of off-line partial evaluation. In Andrei Ershov Second International Conference \u201cPerspectives of System Informatics\u221d, Lecture Notes in Computer Science, 1996. Upcoming.","DOI":"10.1007\/3-540-62064-8_23"},{"key":"6_CR10","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/3540543961_23","volume-title":"Functional Programming Languages and Computer Architectures","author":"C. K. Holst","year":"1991","unstructured":"Carsten Kehler Holst. Finiteness analysis. In John Hughes, editor, Functional Programming Languages and Computer Architectures, pages 473\u2013495, ACM, Springer-Verlag, Cambridge, Massachusetts, USA, August 1991."},{"key":"6_CR11","unstructured":"Neil D. Jones, Carsten Gomaxd, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. C.A.R. Hoare, Series Editor, Prentice Hall International, International Series in Computer Science, June 1993. ISBN number 0-13-020249-5 (pbk)."},{"key":"6_CR12","unstructured":"Neil D. Jones and Steven S. Muchnick. Flow analysis and optimization of Lisp-like structures. In Steven S. Muchnick and Neil D. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 4, pages 102\u2013131, Prentice-Hall, 1981."},{"key":"6_CR13","first-page":"25","volume":"89","author":"H.G. Rice","year":"1953","unstructured":"H.G. Rice. Classes of recursively enumerable sets and their decision problems. Transaction of the AMS, 89:25\u201359, 1953.","journal-title":"Transaction of the AMS"},{"key":"6_CR14","volume-title":"Master's thesis","author":"P. Sestoft","year":"1988","unstructured":"Peter Sestoft. Replacing Function Parameters by Global Variables. Master's thesis, DIKU, University of Copenhagen, Denmark, October 1988. 107 pages."},{"key":"6_CR15","first-page":"1","volume-title":"Once upon a type","author":"D. N. Turner","year":"1995","unstructured":"David N. Turner, Philip Wadler, and Christian Mossin. Once upon a type. In 7'th International Conference on Functional Programming and Computer Architecture, pages 1\u201311, ACM Press, La Jolla, California, June 1995."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61739-6_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:36:12Z","timestamp":1619573772000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61739-6_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617396","9783540706748"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-61739-6_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}