{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:27:16Z","timestamp":1725456436058},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634683"},{"type":"electronic","value":"9783540695769"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0032752","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T06:56:10Z","timestamp":1133420170000},"page":"345-360","source":"Crossref","is-referenced-by-count":11,"title":["TEA: Automatically proving termination of programs in a non-strict higher-order functional language"],"prefix":"10.1007","author":[{"given":"Sven Eric","family":"Panitz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manfred","family":"Schmidt-Schau\u00df","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"23_CR1","series-title":"number 1214 in Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/BFb0030602","volume-title":"Proceedings of the 7th International Joint Conference on Theory and Practice of Software Development (TAPSOFT '97)","author":"T. Arts","year":"1997","unstructured":"T. Arts and J. Giesl. Automatically proving termination where simplification orderings fail. In Michel Bidoit & Max Dauchet, editor, Proceedings of the 7th International Joint Conference on Theory and Practice of Software Development (TAPSOFT '97), number 1214 in Lecture Notes in Computer Science, pages 261\u2013272, Lille, Rance, 1997. Springer-Verlag."},{"key":"23_CR2","unstructured":"S. Abramsky and C. L. Hankin, editors. Abstract Interpretation of Declarative Languages. Ellis Horwood, 1987."},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"P.H. Andersen and C.K. Holst. Termination analysis for ofline partial evaluation of a higher order functional language. In Static Analysis, third international symposium, volume 1145 of Lecture Notes in Computer Science, pages 67\u201382. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61739-6_34"},{"key":"23_CR4","unstructured":"R. S. Boyer and J S. Moore. A Computational Logic. Academic Press, 1979."},{"key":"23_CR5","volume-title":"Lazy Functional Languages: Abstract Interpretation and Compilation","author":"G. Burn","year":"1991","unstructured":"Geoffrey Burn. Lazy Functional Languages: Abstract Interpretation and Compilation. Pitman, London, 1991."},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Patrick Cousot and Radhia Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, pages 252\u2013252. ACM Press, 1977.","DOI":"10.1145\/512950.512973"},{"issue":"1","key":"23_CR7","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/S0747-7171(87)80022-6","volume":"3","author":"N. Dershowitz","year":"1987","unstructured":"N. Dershowitz. Termination of rewriting. Journal of Symbolic Computation, 3(1):69\u2013116, 1987.","journal-title":"Journal of Symbolic Computation"},{"key":"23_CR8","unstructured":"J. Giesl. Automatisierung von Terminierungsbeweisen f\u00fcr rekursiv definierte Algorithmen. PhD thesis, Technische Hochschule Darmstadt, 1995."},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"J. Giesl. Termination analysis for functional programs using term orderings. In Alan Mycroft, editor, Static Analysis Symposium '95, number 984 in Lecture Notes in Computer Science, pages 154\u2013171. Springer, 1995.","DOI":"10.1007\/3-540-60360-3_38"},{"key":"23_CR10","unstructured":"K. Hammond, L. Augustsson, B. Boutel, W. Burton, J. Fairbairn, J. Fasel, A. Gordon, M. Guzm\u00e1n, J. Hughes, P. Hudak, T. Johnsson, M. Jones, D. Kieburtz, R. Nikhil, W. Partain, J. Peterson, S. Peyton Jones, and P Wadler. Report on the programming language Haskell 1.3. Technical report, Department of Computer Science, University of Glasgow, 1996."},{"key":"23_CR11","unstructured":"Mark P. Jones. The implementation of the Gofer functional programming system. Research Report YALEU\/DCS\/RR-1030, Yale University, Department of Computer Science, May 1994."},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"S. Kahrs. Towards a domain theory for termination proofs. In Proceedings of the 6th International Conference on Rewriting Techniques and Applications, volume 914 of Lecture Notes in Computer Science, pages 241\u2013255. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-59200-8_60"},{"key":"23_CR13","volume-title":"Terminierungsanalyse f\u00fcr den Sprachkern einer nicht-strikten funktionalen Programmiersprache unter Verwendung eines Tableaukalk\u00fcls f\u00fcr abstrakte Reduktion","author":"H. Kick","year":"1997","unstructured":"Hubert Kick. Terminierungsanalyse f\u00fcr den Sprachkern einer nicht-strikten funktionalen Programmiersprache unter Verwendung eines Tableaukalk\u00fcls f\u00fcr abstrakte Reduktion. Master's thesis, Johann Wolfgang Goethe-Universit\u00e4t, Frankfurt, 1997."},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Eric N\u00f6cker. Strictness analysis using abstract reduction. In Functional Programming Languages and Computer Architecture, pages 255\u2013265. ACM Press, 1993.","DOI":"10.1145\/165180.165219"},{"key":"23_CR15","unstructured":"S. E. Panitz. Generierung statischer Programminformation zur Kompilierung verz\u00f6gert ausgewerteter funktionaler Programmiersprachen. (Dissertation), Universit\u00e4t Frankfurt, 1997. preliminary version, in German."},{"key":"23_CR16","volume-title":"Striktheits-Analyse mittels abstrakter Reduktion f\u00fcr den Sprachkern einer nicht-strikten funktionalen Programmiersprache","author":"M. Sch\u00fctz","year":"1994","unstructured":"Marko Sch\u00fctz. Striktheits-Analyse mittels abstrakter Reduktion f\u00fcr den Sprachkern einer nicht-strikten funktionalen Programmiersprache. Master's thesis, Johann Wolfgang Goethe-Universit\u00e4t, Frankfurt, 1994."},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Kirsten Lackner Solberg, Hanne Riis Nielson, and Flemming Nielson. Strictness and totality analysis. In Baudouin Le Charlier, editor, Static Analysis, number 864 in Lecture Notes in Computer Science, pages 408\u2013422. Springer, 1994.","DOI":"10.1007\/3-540-58485-4_55"},{"key":"23_CR18","doi-asserted-by":"crossref","unstructured":"M. Schmidt-Schau\u00df, S.E. Panitz, and M. Sch\u00fctz. Strictness analysis by abstract reduction using a tableau calculus. In Alan Mycroft, editor, Static Analysis Symposium '95, number 983 in Lecture Notes in Computer Science, pages 348\u2013365. Springer, 1995.","DOI":"10.1007\/3-540-60360-3_49"},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"J. Steinbach. Automatic termination proofs with transformation orderings. In Proceedings of the 6th International Conference on Rewriting Techniques and Applications, volume 914 of Lecture Notes in Computer Science, pages 11\u201325. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-59200-8_44"},{"key":"23_CR20","series-title":"K\u00fcnstliche Intelligenz","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-85404-9","volume-title":"Automatisierung von Terminierungsbeweisen","author":"C. Walther","year":"1991","unstructured":"Chr. Walther. Automatisierung von Terminierungsbeweisen. K\u00fcnstliche Intelligenz. Vieweg, Braunschweig, 1991."},{"key":"23_CR21","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/0004-3702(94)90063-9","volume":"71","author":"C. Walther","year":"1994","unstructured":"Chr. Walther. On proving the termination of algorithms by machine. Artificial Intelligence, 71:101\u2013157, 1994.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0032752","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T08:24:43Z","timestamp":1586593483000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0032752"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634683","9783540695769"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0032752","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}