{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:48:43Z","timestamp":1725558523608},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201458"},{"type":"electronic","value":"9783540399209"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39920-9_8","type":"book-chapter","created":{"date-parts":[[2010,6,28]],"date-time":"2010-06-28T00:08:38Z","timestamp":1277683718000},"page":"101-116","source":"Crossref","is-referenced-by-count":6,"title":["Control Flow Analysis for Recursion Removal"],"prefix":"10.1007","author":[{"given":"Stefaan","family":"Himpe","sequence":"first","affiliation":[]},{"given":"Francky","family":"Catthoor","sequence":"additional","affiliation":[]},{"given":"Geert","family":"Deconinck","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"JTC1\/SC29\/WG11\/N4668, I.: Overview of the mpeg-4 standard, Ed.: Rob Koenen (2002)"},{"key":"8_CR2","unstructured":"JTC1\/SC29\/WG11\/N5231, I.: Mpeg 21 overview v.5, Eds.: Jan Bormans and Keith Hill (2002)"},{"key":"8_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2849-1","volume-title":"Custom Memory Management Methodology: Exploration of Memory Organisation for Embedded Multimedia System Design","author":"F. Catthoor","year":"1998","unstructured":"Catthoor, F., Wuytack, S., Greef, E.D., Balasa, F., Nachtergaele, L., Vandecap-pelle, A., de Greef, E., Wuytack, S.: Custom Memory Management Methodology: Exploration of Memory Organisation for Embedded Multimedia System Design, 1st edn. Kluwer Academic Publishers, Dordrecht (1998)","edition":"1"},{"key":"8_CR4","volume-title":"Structure and Interpretation of Computer Programs","author":"H. Abelson","year":"1996","unstructured":"Abelson, H., Sussman, G.J., Sussman, J.: Structure and Interpretation of Computer Programs, 2nd edn. MIT Press, Cambridge (1996), text also online at: \n                    \n                      http:\/\/mitpress.mit.edu\/sicp\n                    \n                    \n                  ; ISBN: 0-26201-153-0","edition":"2"},{"key":"8_CR5","series-title":"Texts and Monographs in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61807-9","volume-title":"Algorithmic Language and Program Development","author":"F.L. Bauer","year":"1982","unstructured":"Bauer, F.L., Wossner, H.: Algorithmic Language and Program Development. Texts and Monographs in Computer Science. Springer, Heidelberg (1982); ISBN 0-387-11148-4"},{"key":"8_CR6","series-title":"Texts and monographs in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61512-2","volume-title":"Specification and Transformation of Programs: A Formal Approach to Software Development","author":"H.A. Partsch","year":"1990","unstructured":"Partsch, H.A.: Specification and Transformation of Programs: A Formal Approach to Software Development. Texts and monographs in Computer Science. Springer, Heidelberg (1990); ISBN 0-38752-356-1"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/176454.176510","volume":"2","author":"O. Kaser","year":"1993","unstructured":"Kaser, O., Pawagi, S., Ramakrishnan, C.R.: On the conversion of indirect to direct recursion. ACM Letters on Programming Languages and Systems (LOPLAS)\u00a02, 151\u2013164 (1993)","journal-title":"ACM Letters on Programming Languages and Systems (LOPLAS)"},{"key":"8_CR8","doi-asserted-by":"crossref","DOI":"10.21236\/AD0406138","volume-title":"LISP 1.5 Programmer\u2019s Manual","author":"J. McCarthy","year":"1962","unstructured":"McCarthy, J., Abrahams, P.W., Edwards, D.J., Hart, T.P., Levin, M.I.: LISP 1.5 Programmer\u2019s Manual. Manual. MIT Press, Cambridge (1962)"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"Backus, J.: Can programming be liberated from the von neumann style? A functional style and its algebra of programs. Communications of the ACM\u00a021, 613\u2013641 (1978); ISSN: 0001-0782","journal-title":"Communications of the ACM"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/3-540-15198-2_5","volume-title":"Proceedings of the international joint conference on theory and practice of software development (TAPSOFT)","author":"J. Backus","year":"1985","unstructured":"Backus, J.: From function level semantics to program transformation and optimization. In: Nivat, M., Floyd, C., Thatcher, J., Ehrig, H. (eds.) CAAP 1985 and TAPSOFT 1985. LNCS, vol.\u00a0185, pp. 60\u201391. Springer, Heidelberg (1985)"},{"key":"8_CR11","volume-title":"Reasoning about Program Transformations: Imperative programming and flow of data","author":"J.F. Collard","year":"2003","unstructured":"Collard, J.F.: Reasoning about Program Transformations: Imperative programming and flow of data. Springer, Heidelberg (2003); ISBN 0-387-95391-4"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0956796897002943","volume":"8","author":"A. Sabry","year":"1998","unstructured":"Sabry, A.: What is a purely functional language? The Journal of Functional Programming\u00a08, 1\u201322 (1998)","journal-title":"The Journal of Functional Programming"},{"key":"8_CR13","series-title":"SIGPLAN Notices","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/328690.328700","volume-title":"Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2000)","author":"Y.A. Liu","year":"1999","unstructured":"Liu, Y.A., Stoller, S.D.: From recursion to iteration: What are the optimizations? In: Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2000), Boston, Massachusetts, USA. SIGPLAN Notices, vol.\u00a034, pp. 73\u201382. ACM Press, New York (1999)"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Ma, Z., Wong, C., Himpe, S., Delfosse, E., Catthoor, F., Deconinck, G.: Task concurrency analysis and exploration of visual texture decoder on a heterogeneous platform. In: Proceedings of the 2003 IEEE WORKSHOP ON SIGNAL PROCESSING SYSTEMS (SiPS 2003), Seoul, South Korea (2003)","DOI":"10.1109\/SIPS.2003.1235677"}],"container-title":["Lecture Notes in Computer Science","Software and Compilers for Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39920-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T00:16:20Z","timestamp":1552608980000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39920-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201458","9783540399209"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39920-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}