{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:09:48Z","timestamp":1725574188194},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540653844"},{"type":"electronic","value":"9783540493822"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/978-3-540-49382-2_13","type":"book-chapter","created":{"date-parts":[[2011,1,8]],"date-time":"2011-01-08T04:37:34Z","timestamp":1294461454000},"page":"146-157","source":"Crossref","is-referenced-by-count":17,"title":["Benefits of Tree Transducers for Optimizing Functional Programs"],"prefix":"10.1007","author":[{"given":"Armin","family":"K\u00fchnemann","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Correnson, L., Duris, E., Parigot, D., Roussel, G.: Symbolic composition. Technical Report 3348, INRIA, France (1998)"},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/0304-3975(82)90003-2","volume":"17","author":"B. Courcelle","year":"1982","unstructured":"Courcelle, B., Franchi-Zannettacci, P.: Attribute grammars and recursive program schemes. Theoret. Comput. Sci.\u00a017, 163\u2013191, 235\u2013257 (1982)","journal-title":"Theoret. Comput. Sci."},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Duris, E., Parigot, D., Roussel, G., Jourdan, M.: Attribute grammars and folds: generic control operators. Technical Report 2957, INRIA, France (1996)","DOI":"10.1007\/3-540-61756-6_81"},{"key":"13_CR4","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/B978-0-12-115350-2.50014-2","volume-title":"Formal language theory; perspectives and open problems","author":"J. Engelfriet","year":"1980","unstructured":"Engelfriet, J.: Some open questions and recent results on tree transducers and tree languages. In: Book, R.V. (ed.) Formal language theory; perspectives and open problems, pp. 241\u2013286. Academic Press, New York (1980)"},{"key":"13_CR5","unstructured":"Engelfriet, J.: Tree transducers and syntax directed semantics. Technical Report Memorandum 363, Technische Hogeschool Twente (1981)"},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0022-0000(85)90066-2","volume":"31","author":"J. Engelfriet","year":"1985","unstructured":"Engelfriet, J., Vogler, H.: Macro tree transducers. J. Comp. Syst. Sci.\u00a031, 71\u2013145 (1985)","journal-title":"J. Comp. Syst. Sci."},{"key":"13_CR7","first-page":"261","volume":"5","author":"Z. F\u00fcl\u00f6p","year":"1981","unstructured":"F\u00fcl\u00f6p, Z.: On attributed tree transducers. Acta Cybernetica\u00a05, 261\u2013279 (1981)","journal-title":"Acta Cybernetica"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0167-6423(83)90021-7","volume":"3","author":"H. Ganzinger","year":"1983","unstructured":"Ganzinger, H.: Increasing modularity and language-independency in automatically generated compilers. Science of Computer Programming\u00a03, 223\u2013278 (1983)","journal-title":"Science of Computer Programming"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Ganzinger, H., Giegerich, R.: Attribute coupled grammars. Symposium on Compiler Construction. In: SIGPLAN Notices, vol.\u00a019(6), pp. 157\u2013170 (1984)","DOI":"10.1145\/502874.502890"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/BF02737108","volume":"25","author":"R. Giegerich","year":"1988","unstructured":"Giegerich, R.: Composition and evaluation of attribute coupled grammars. Acta Informatica\u00a025, 355\u2013423 (1988)","journal-title":"Acta Informatica"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1007\/3-540-18317-5_10","volume-title":"Functional Programming Languages and Computer Architecture","author":"T. Johnsson","year":"1987","unstructured":"Johnsson, T.: Attribute grammars as a functional programming paradigm. In: Kahn, G. (ed.) FPCA 1987. LNCS, vol.\u00a0274, pp. 154\u2013173. Springer, Heidelberg (1987)"},{"key":"13_CR12","unstructured":"Knuth, D.E.: Semantics of context\u2013free languages. Math. Syst. Th.\u00a02, 127\u2013145 (1968) Corrections in Math. Syst. Th.\u00a0 5, 95\u201396 (1971)"},{"key":"13_CR13","unstructured":"K\u00fchnemann, A.: Berechnungsst\u00e4rken von Teilklassen primitiv-rekursiver Programmschemata. PhD thesis, Technical Univ. of Dresden, Shaker Verlag (1997)"},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/BF01178667","volume":"31","author":"A. K\u00fchnemann","year":"1994","unstructured":"K\u00fchnemann, A., Vogler, H.: Synthesized and inherited functions - a new computational model for syntax-directed semantics. Acta Informatica\u00a031, 431\u2013477 (1994)","journal-title":"Acta Informatica"},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/BF01695769","volume":"4","author":"W.C. Rounds","year":"1970","unstructured":"Rounds, W.C.: Mappings and grammars on trees. Math. Syst.Th.\u00a04, 257\u2013287 (1970)","journal-title":"Math. Syst.Th."},{"key":"13_CR16","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1145\/263699.263758","volume-title":"POPL 1997","author":"H. Seidl","year":"1997","unstructured":"Seidl, H., S\u00f8rensen, M.H.: Constraints to stop higher-order deforestation. In: POPL 1997, Paris, pp. 400\u2013413. ACM Press, New York (1997)"},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/S0022-0000(70)80017-4","volume":"4","author":"J.W. Thatcher","year":"1970","unstructured":"Thatcher, J.W.: Generalized2 sequential machine maps. J. Comp. Syst. Sci.\u00a04, 339\u2013367 (1970)","journal-title":"J. Comp. Syst. Sci."},{"key":"13_CR18","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0304-3975(90)90147-A","volume":"73","author":"P. Wadler","year":"1990","unstructured":"Wadler, P.: Deforestation: Transforming programs to eliminate trees. Theor. Comp. Sci.\u00a073, 231\u2013248 (1990)","journal-title":"Theor. Comp. Sci."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-49382-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T18:06:49Z","timestamp":1559930809000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-49382-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540653844","9783540493822"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-49382-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}