{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T17:07:12Z","timestamp":1725815232775},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662460771"},{"type":"electronic","value":"9783662460788"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46078-8_45","type":"book-chapter","created":{"date-parts":[[2015,1,14]],"date-time":"2015-01-14T09:54:29Z","timestamp":1421229269000},"page":"543-554","source":"Crossref","is-referenced-by-count":2,"title":["A Uniform Programmning Language for Implementing XML Standards"],"prefix":"10.1007","author":[{"given":"Pavel","family":"Labath","sequence":"first","affiliation":[]},{"given":"Joachim","family":"Niehren","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"45_CR1","doi-asserted-by":"crossref","unstructured":"Arroyuelo, D., et al.: Fast in-memory xpath search using compressed indexes. In: ICDE, pp. 417\u2013428. IEEE (2010)","DOI":"10.1109\/ICDE.2010.5447858"},{"key":"45_CR2","unstructured":"Castagna, G., Im, H., Nguyen, K., Benzaken, V.: A Core Calculus for XQuery 3.0 (2013) (unpublished manuscript), \n                    \n                      http:\/\/www.pps.univ-paris-diderot.fr\/~gc\/papers\/xqueryduce.pdf"},{"key":"45_CR3","unstructured":"Frisch, A., Nakano, K.: Streaming XML Transformation Using Term Rewriting. In: Programming Language Technologies for XML (PLAN-X), pp. 2\u201313 (2007)"},{"key":"45_CR4","doi-asserted-by":"crossref","unstructured":"F\u00fcl\u00f6p, Z., Vogler, H.: Syntax-Directed Semantics \u2013 Formal Models based on Tree Transducers. In: EATCS Monographs in Theoretical CS. Springer (1998)","DOI":"10.1007\/978-3-642-72248-6"},{"key":"45_CR5","doi-asserted-by":"crossref","unstructured":"Hakuta, S., Maneth, S., Nakano, K., Iwasaki, H.: XQuery Streaming by Forest Transducers. In: ICDE, pp. 952\u2013963. IEEE (2014)","DOI":"10.1109\/ICDE.2014.6816714"},{"key":"45_CR6","unstructured":"Innovimax, INRIA Lille: Quix tools suite, \n                    \n                      https:\/\/project.inria.fr\/quix-tool-suite\/"},{"key":"45_CR7","unstructured":"Kay, M.: XSL Transformations (XSLT) Version 3.0. W3C Last Call Working Draft (2013), \n                    \n                      http:\/\/www.w3.org\/TR\/xslt-30"},{"key":"45_CR8","unstructured":"Kepser, S.: A Simple Proof for the Turing-Completeness of XSLT and XQuery. In: Proceedings of the Extreme Markup Languages\u00ae (2004)"},{"key":"45_CR9","unstructured":"Labath, P., Niehren, J.: A Functional Language for Hyperstreaming XSLT. Research report (March 2013), \n                    \n                      http:\/\/hal.inria.fr\/hal-00806343"},{"key":"45_CR10","doi-asserted-by":"crossref","unstructured":"Labath, P., Niehren, J.: A Uniform Programming Language for Implementing XML Standards. Research report (January 2015), \n                    \n                      http:\/\/hal.inria.fr\/hal-00954692","DOI":"10.1007\/978-3-662-46078-8_45"},{"key":"45_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-49382-2_12","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"A. Neumann","year":"1998","unstructured":"Neumann, A., Seidl, H.: Locating matches of tree patterns in forests. In: Arvind, V., Sarukkai, S. (eds.) FST TCS 1998. LNCS, vol.\u00a01530, pp. 134\u2013146. Springer, Heidelberg (1998)"},{"key":"45_CR12","doi-asserted-by":"crossref","unstructured":"Maneth, S., Berlea, A., Perst, T., Seidl, H.: XML type checking with macro tree transducers. In: PODS 2005, pp. 283\u2013294. ACM-Press (2005)","DOI":"10.1145\/1065167.1065203"},{"key":"45_CR13","unstructured":"Robie, J., et al.: XQuery 3.0: An XML Query Language. W3C Proposed Recommendation (2013), \n                    \n                      http:\/\/www.w3.org\/TR\/xquery-30"},{"key":"45_CR14","unstructured":"Saxonica: SAXON 9.5: The XSLT and XQuery Processor, \n                    \n                      http:\/\/saxonica.com"},{"key":"45_CR15","doi-asserted-by":"crossref","unstructured":"Schmidt, A., et al.: XMark: A Benchmark for XML Data Management. In: In 28th International Conference on VLDB (2002)","DOI":"10.1016\/B978-155860869-6\/50096-2"},{"key":"45_CR16","unstructured":"Walsh, N.: XML Calabash, \n                    \n                      http:\/\/xmlcalabash.com"},{"key":"45_CR17","unstructured":"Walsh, N., et al.: XProc: An XML Pipeline Language. W3C Recommendation (2010), \n                    \n                      http:\/\/www.w3.org\/TR\/xproc"},{"key":"45_CR18","unstructured":"Zergaoui, M.: Innovimax: QuiXProc, \n                    \n                      https:\/\/project.inria.fr\/quix-tool-suite\/quixproc\/"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2015: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46078-8_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T00:20:55Z","timestamp":1559089255000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-46078-8_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662460771","9783662460788"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46078-8_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}