{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T05:37:58Z","timestamp":1740721078893,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642171635"},{"type":"electronic","value":"9783642171642"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-17164-2_16","type":"book-chapter","created":{"date-parts":[[2010,11,19]],"date-time":"2010-11-19T10:54:39Z","timestamp":1290164079000},"page":"222-238","source":"Crossref","is-referenced-by-count":1,"title":["Categorical Descriptional Composition"],"prefix":"10.1007","author":[{"given":"Shin-ya","family":"Katsumata","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","first-page":"125","volume":"6","author":"M. Bartha","year":"1983","unstructured":"Bartha, M.: Linear deterministic attributed transformations. Acta Cybern.\u00a06, 125\u2013147 (1983)","journal-title":"Acta Cybern."},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0022-4049(89)90160-6","volume":"59","author":"R. Blackwell","year":"1989","unstructured":"Blackwell, R., Kelly, G.M., Power, A.J.: Two-dimentional monad theory. Journal of pure and applied algebra\u00a059, 1\u201341 (1989)","journal-title":"Journal of pure and applied algebra"},{"issue":"1","key":"16_CR3","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/225540.225544","volume":"18","author":"J. Boyland","year":"1996","unstructured":"Boyland, J.: Conditional attribute grammars. ACM Trans. Program. Lang. Syst.\u00a018(1), 73\u2013108 (1996)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01744285","volume":"13","author":"L.M. Chirica","year":"1979","unstructured":"Chirica, L.M., Martin, D.F.: An order-algebraic definition of Knuthian semantics. Mathematical Systems Theory\u00a013, 1\u201327 (1979)","journal-title":"Mathematical Systems Theory"},{"issue":"1","key":"16_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(88)90002-8","volume":"78","author":"B. Courcelle","year":"1988","unstructured":"Courcelle, B., Deransart, P.: Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming. Inf. Comput.\u00a078(1), 1\u201355 (1988)","journal-title":"Inf. Comput."},{"issue":"3","key":"16_CR6","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. Sci. Comput. Program.\u00a03(3), 223\u2013278 (1983)","journal-title":"Sci. Comput. Program."},{"key":"16_CR7","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1145\/502874.502890","volume-title":"SIGPLAN Symposium on Compiler Construction 1984","author":"H. Ganzinger","year":"1984","unstructured":"Ganzinger, H., Giegerich, R.: Attribute coupled grammars. In: SIGPLAN Symposium on Compiler Construction 1984, pp. 157\u2013170. ACM, New York (1984)"},{"issue":"4","key":"16_CR8","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 Inf.\u00a025(4), 355\u2013423 (1988)","journal-title":"Acta Inf."},{"key":"16_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0865-8","volume-title":"Models of Sharing Graphs: A Categorical Semantics of let and letrec","author":"M. Hasegawa","year":"1999","unstructured":"Hasegawa, M.: Models of Sharing Graphs: A Categorical Semantics of let and letrec. Springer, Heidelberg (1999)"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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)"},{"issue":"3","key":"16_CR11","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1017\/S0305004100074338","volume":"119","author":"A. Joyal","year":"1996","unstructured":"Joyal, A., Street, R., Verity, D.: Traced monoidal categories. Mathematical Proceedings of the Cambridge Philosophical Society\u00a0119(3), 447\u2013468 (1996)","journal-title":"Mathematical Proceedings of the Cambridge Philosophical Society"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-540-70583-3_23","volume-title":"Automata, Languages and Programming","author":"S. Katsumata","year":"2008","unstructured":"Katsumata, S.: Attribute grammars and categorical semantics. In: Aceto, L., Damg\u00e5rd, I., Goldberg, L.A., Halld\u00f3rsson, M.M., Ing\u00f3lfsd\u00f3ttir, A., Walukiewicz, I. (eds.) ICALP 2008, Part II. LNCS, vol.\u00a05126, pp. 271\u2013282. Springer, Heidelberg (2008)"},{"key":"16_CR13","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1145\/1159803.1159835","volume-title":"ICFP","author":"S. Katsumata","year":"2006","unstructured":"Katsumata, S., Nishimura, S.: Algebraic fusion of functions with an accumulating parameter and its improvement. In: Reppy, J.H., Lawall, J.L. (eds.) ICFP, pp. 227\u2013238. ACM, New York (2006)"},{"issue":"2","key":"16_CR14","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"D.E. Knuth","year":"1968","unstructured":"Knuth, D.E.: Semantics of context-free languages. Mathematical Systems Theory\u00a02(2), 127\u2013145 (1968)","journal-title":"Mathematical Systems Theory"},{"issue":"1","key":"16_CR15","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/BF01702865","volume":"5","author":"D.E. Knuth","year":"1971","unstructured":"Knuth, D.E.: Correction: Semantics of context-free languages. Mathematical Systems Theory\u00a05(1), 95\u201396 (1971)","journal-title":"Mathematical Systems Theory"},{"issue":"1","key":"16_CR16","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/BF01304852","volume":"23","author":"A. Kock","year":"1972","unstructured":"Kock, A.: Strong functors and monoidal monads. Archiv. der Math.\u00a023(1), 113\u2013120 (1972)","journal-title":"Archiv. der Math."},{"key":"16_CR17","series-title":"Graduate Texts in Mathematics","volume-title":"Categories for the Working Mathematician","author":"S. MacLane","year":"1998","unstructured":"MacLane, S.: Categories for the Working Mathematician, 2nd edn. Graduate Texts in Mathematics, vol.\u00a05. Springer, Heidelberg (1998)","edition":"2"},{"issue":"1","key":"16_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00224-008-9125-y","volume":"44","author":"K. Nakano","year":"2009","unstructured":"Nakano, K.: Composing stack-attributed tree transducers. Theory Comput. Syst.\u00a044(1), 1\u201338 (2009)","journal-title":"Theory Comput. Syst."},{"key":"16_CR19","unstructured":"Nishimura, S.: Deforesting in accumulating parameters via type-directed transformations. In: APLAS 2002, pp. 145\u2013159 (2002)"},{"issue":"2-3","key":"16_CR20","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/j.scico.2004.07.001","volume":"54","author":"S. Nishimura","year":"2005","unstructured":"Nishimura, S., Nakano, K.: XML stream transformer generation through program composition and dependency analysis. Sci. Comput. Program.\u00a054(2-3), 257\u2013290 (2005)","journal-title":"Sci. Comput. Program."},{"issue":"2-3","key":"16_CR21","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/s10990-006-8750-x","volume":"19","author":"M. Tanaka","year":"2006","unstructured":"Tanaka, M., Power, J.: Pseudo-distributive laws and axiomatics for variable binding. Higher-Order and Symbolic Computation\u00a019(2-3), 305\u2013337 (2006)","journal-title":"Higher-Order and Symbolic Computation"},{"issue":"1-2","key":"16_CR22","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1023\/B:LISP.0000029450.36668.cb","volume":"17","author":"J. Voigtl\u00e4nder","year":"2004","unstructured":"Voigtl\u00e4nder, J.: Using circular programs to deforest in accumulating parameters. Higher-Order and Symbolic Computation\u00a017(1-2), 129\u2013163 (2004)","journal-title":"Higher-Order and Symbolic Computation"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17164-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T02:30:22Z","timestamp":1740709822000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17164-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642171635","9783642171642"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17164-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}