{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:47:38Z","timestamp":1725472058624},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540489375"},{"type":"electronic","value":"9783540489382"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11924661_21","type":"book-chapter","created":{"date-parts":[[2006,10,27]],"date-time":"2006-10-27T13:42:39Z","timestamp":1161956559000},"page":"340-356","source":"Crossref","is-referenced-by-count":7,"title":["A Pushdown Machine for Recursive XML Processing"],"prefix":"10.1007","author":[{"given":"Keisuke","family":"Nakano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shin-Cheng","family":"Mu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"Altinel, M., Franklin, M.J.: Efficient filtering of XML documents for selective dissemination of information. International Journal on Very Large Data Bases, 53\u201364 (2000)"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Benzaken, V., Castagna, G., Frisch, A.: CDuce: an XML-centric general-purpose language. In: Proceedings of the 8th International Conference of Functional Programming, pp. 51\u201363 (2003)","DOI":"10.1145\/944705.944711"},{"issue":"1","key":"21_CR3","doi-asserted-by":"publisher","first-page":"19","DOI":"10.2498\/cit.2002.01.02","volume":"10","author":"A. Berlea","year":"2002","unstructured":"Berlea, A., Seidl, H.: fxt \u2013 a transformation language for XML documents. Journal of Computing and Information Technology\u00a010(1), 19\u201335 (2002)","journal-title":"Journal of Computing and Information Technology"},{"key":"21_CR4","unstructured":"Cimprich, P., Becker, O., Nentwich, C., Jirou\u0161ek, M.K.H., Brown, P., Batsis, M., Kaiser, T., Hlavni\u010dka, P., Matsakis, N., Dolph, C., Wiechmann, N.: Streaming transformations for XML (STX) version 1.0., http:\/\/stx.sourceforge.net\/"},{"issue":"1","key":"21_CR5","first-page":"41","volume":"26","author":"Y. Diao","year":"2003","unstructured":"Diao, Y., Franklin, M.J.: High-performance XML filtering: An overview of YFilter. IEEE Data Engineering Bulletin 26(1), 41\u201348 (2003)","journal-title":"IEEE Data Engineering Bulletin"},{"issue":"1","key":"21_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. Journal of Computer and System Sciences\u00a031(1), 71\u2013146 (1985)","journal-title":"Journal of Computer and System Sciences"},{"key":"21_CR7","unstructured":"The Glasgow Haskell Compiler, http:\/\/www.haskell.org\/ghc\/"},{"issue":"4","key":"21_CR8","doi-asserted-by":"publisher","first-page":"752","DOI":"10.1145\/1042046.1042051","volume":"29","author":"T.J. Green","year":"2004","unstructured":"Green, T.J., Gupta, A., Miklau, G., Onizuka, M., Suciu, D.: Processing XML streams with deterministic automata and stream indexes. ACM Transactions on Database Systems\u00a029(4), 752\u2013788 (2004)","journal-title":"ACM Transactions on Database Systems"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Gupta, A.K., Suciu, D.: Stream processing of XPath queries with predicates. In: Proceedings of the 2003 ACM SIGMOD International Conference on Management of Data, pp. 419\u2013430 (2003)","DOI":"10.1145\/872757.872809"},{"issue":"6","key":"21_CR10","doi-asserted-by":"publisher","first-page":"961","DOI":"10.1017\/S0956796802004410","volume":"13","author":"H. Hosoya","year":"2003","unstructured":"Hosoya, H., Pierce, B.C.: Regular expression pattern matching for XML. Journal of Functional Programming\u00a013(6), 961\u20131004 (2003)","journal-title":"Journal of Functional Programming"},{"issue":"2","key":"21_CR11","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/767193.767195","volume":"3","author":"H. Hosoya","year":"2003","unstructured":"Hosoya, H., Pierce, B.C.: XDuce: A statically typed XML processing language. ACM Transactions on Internet Technology\u00a03(2), 117\u2013148 (2003)","journal-title":"ACM Transactions on Internet Technology"},{"key":"21_CR12","unstructured":"Jones, S.P.: Space usage. Glasgow Haskell Users Mailing List (August 17, 2004), http:\/\/www.haskell.org\/pipermail\/glasgow-haskell-users\/2004-August\/007023.html"},{"key":"21_CR13","unstructured":"Kay, M.: SAXON: The XSLTand XQuery processor, http:\/\/saxon.sourceforge.net\/"},{"key":"21_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-45587-6_14","volume-title":"Practical Aspects of Declarative Languages","author":"O. Kiselyov","year":"2002","unstructured":"Kiselyov, O.: A better XML parser through functional programming. In: Krishnamurthi, S., Ramakrishnan, C.R. (eds.) PADL 2002. LNCS, vol.\u00a02257, pp. 209\u2013224. Springer, Heidelberg (2002)"},{"key":"21_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-540-30477-7_4","volume-title":"Programming Languages and Systems","author":"K. Kodama","year":"2004","unstructured":"Kodama, K., Suenaga, K., Kobayashi, N.: Translation of tree-processing programs into stream-processing programs based on ordered linear type. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol.\u00a03302, pp. 41\u201356. Springer, Heidelberg (2004)"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Lud\u00e4scher, B., Mukhopadhyay, P., Papakonstantinou, Y.: A transducer-based XML query processor. In: Proceedings of 28th International Conference on Very Large Data Bases, pp. 227\u2013238 (2002)","DOI":"10.1016\/B978-155860869-6\/50028-7"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Maneth, S., Berlea, A., Perst, T., Seidl, H.: XML type checking with macro tree transducers. In: Proceedings of 24th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pp. 283\u2013294 (2005)","DOI":"10.1145\/1065167.1065203"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"Murata, M.: Extended path expressions of XML. In: Proceedings of the 20th ACM Symp. on Principles of Database Systems, pp. 153\u2013166 (2001)","DOI":"10.1145\/375551.375569"},{"key":"21_CR19","unstructured":"Nakano, K.: XTiSP: XML transformation language intended for stream processing, http:\/\/xtisp.org\/"},{"key":"21_CR20","unstructured":"Nakano, K.: Composing stack-attributed transducers. Technical Report METR-2004-01, Department of Mathematical Informatics. University of Tokyo (2004)"},{"key":"21_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-540-30477-7_6","volume-title":"Programming Languages and Systems","author":"K. Nakano","year":"2004","unstructured":"Nakano, K.: An implementation scheme for XML transformation languages through derivation of stream processors. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol.\u00a03302, pp. 74\u201390. Springer, Heidelberg (2004)"},{"key":"21_CR22","unstructured":"Nakano, K., Mu, S.-C.: A pushdown machine for recursive XML processing (full version), http:\/\/www.ipl.t.u-tokyo.ac.jp\/~ksk\/en\/?Publication"},{"key":"21_CR23","unstructured":"The nhc98 compiler, http:\/\/www.haskell.org\/nhc98\/"},{"key":"21_CR24","doi-asserted-by":"crossref","unstructured":"Nishimura, S.: Fusion with stacks and accumulating prameters. In: The 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, pp. 101\u2013112 (2004)","DOI":"10.1145\/1014007.1014018"},{"key":"21_CR25","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. Science of Computer Programming\u00a054, 257\u2013290 (2005)","journal-title":"Science of Computer Programming"},{"key":"21_CR26","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.ipl.2003.05.001","volume":"89","author":"T. Perst","year":"2004","unstructured":"Perst, T., Seidl, H.: Macro forest transducers. Information Processing Letters\u00a089, 141\u2013149 (2004)","journal-title":"Information Processing Letters"},{"key":"21_CR27","unstructured":"Scherzinger, S., Kemper, A.: Syntax-directed transformations of XML streams. In: Workshop on Programming Language Technologies for XML, pp. 75\u201386 (2005)"},{"key":"21_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/11680093_7","volume-title":"Logic Based Program Synthesis and Transformation","author":"K. Suenaga","year":"2006","unstructured":"Suenaga, K., Kobayashi, N., Yonezawa, A.: Extension of type-based approach to generation of stream-processing programs by automatic insertion of buffering primitives. In: Hill, P.M. (ed.) LOPSTR 2005. LNCS, vol.\u00a03901, pp. 98\u2013114. Springer, Heidelberg (2006)"},{"issue":"9","key":"21_CR29","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1002\/spe.4380170904","volume":"17","author":"P. Wadler","year":"1987","unstructured":"Wadler, P.: Fixing a space leak with a garbage collector. Software Practice and Experience\u00a017(9), 595\u2013608 (1987)","journal-title":"Software Practice and Experience"},{"key":"21_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1007\/3-540-19027-9_23","volume-title":"ESOP \u201988","author":"P. Wadler","year":"1988","unstructured":"Wadler, P.: Deforestation: Transforming programs to eliminate trees. In: Ganzinger, H. (ed.) ESOP 1988. LNCS, vol.\u00a0300, pp. 344\u2013358. Springer, Heidelberg (1988)"},{"key":"21_CR31","unstructured":"libxslt: the XSLT C library for Gnome, http:\/\/xmlsoft.org\/XSLT\/"},{"key":"21_CR32","unstructured":"SAX: the simple API for XML, http:\/\/www.saxproject.org\/"},{"key":"21_CR33","unstructured":"XMark: an XML benchmark project, http:\/\/www.xml-benchmark.org\/"},{"key":"21_CR34","unstructured":"XSL: transformations (XSLT), http:\/\/www.w3c.org\/TR\/xslt\/"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11924661_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:59:40Z","timestamp":1605643180000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11924661_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540489375","9783540489382"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/11924661_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}