{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:12:24Z","timestamp":1775873544103,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540221531","type":"print"},{"value":"9783540259794","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25979-4_1","type":"book-chapter","created":{"date-parts":[[2010,9,11]],"date-time":"2010-09-11T01:32:53Z","timestamp":1284168773000},"page":"1-23","source":"Crossref","is-referenced-by-count":10,"title":["Termination Analysis of the Untyped \u03bb-Calculus"],"prefix":"10.1007","author":[{"given":"Neil D.","family":"Jones","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nina","family":"Bohr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Frederiksen, C.C., Jones, N.D.: Running-time Analysis and Implicit Complexity. Submitted to Journal of Automated reasoningJournal dadada"},{"key":"1_CR2","volume-title":"Proofs and Types","author":"J.Y. Girard","year":"1989","unstructured":"Girard, J.Y., Lafont, Y., Taylor, P.: Proofs and Types. Cambridge University Press, Cambridge (1989)"},{"key":"1_CR3","first-page":"527","volume-title":"Handbook of Logic in Computer Science","author":"N.D. Jones","year":"1994","unstructured":"Jones, N.D., Nielson, F.: Abstract Interpretation: a Semantics-Based Tool for Program Analysis. In: Handbook of Logic in Computer Science, pp. 527\u2013629. Oxford University Press, Oxford (1994)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Jones, N.D., Glenstrup, A.: Partial Evaluation Termination Analysis and Specialization-Point Insertion. ACM Transactions on Programming Languages and Systems (2004)","DOI":"10.1145\/1108970.1108973"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Lee, C.S., Jones, N.D., Ben-Amram, A.M.: The Size-Change Principle for Program Termination. In: POPL 2001: Proceedings 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (January 2001)","DOI":"10.1145\/360204.360210"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/3-540-45789-5_34","volume-title":"Static Analysis","author":"C.S. Lee","year":"2002","unstructured":"Lee, C.S.: Finiteness analysis in polynomial time. In: Hermenegildo, M.V., Puebla, G. (eds.) SAS 2002. LNCS, vol.\u00a02477, pp. 493\u2013508. Springer, Heidelberg (2002)"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/3-540-45821-2_14","volume-title":"Generative Programming and Component Engineering","author":"C.S. Lee","year":"2002","unstructured":"Lee, C.S.: Program termination analysis in polynomial time. In: Batory, D., Consel, C., Taha, W. (eds.) GPCE 2002. LNCS, vol.\u00a02487, pp. 218\u2013235. Springer, Heidelberg (2002)"},{"key":"1_CR8","unstructured":"Lee, C.S.: Program Termination Analysis and the Termination of Offline Partial Evaluation, Ph.D. thesis, University of Western Australia (March 2001)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Plotkin, G.D.: Call-by-name, call-by-value and the lambda-calculus. Theoretical Computer Science\u00a01 (1975)","DOI":"10.1016\/0304-3975(75)90017-1"}],"container-title":["Lecture Notes in Computer Science","Rewriting Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25979-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T16:02:35Z","timestamp":1559664155000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25979-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221531","9783540259794"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25979-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}