{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T10:13:37Z","timestamp":1775297617344,"version":"3.50.1"},"publisher-location":"New York, NY","reference-count":43,"publisher":"Springer New York","isbn-type":[{"value":"9781461482666","type":"print"},{"value":"9781461482659","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-1-4614-8265-9_788","type":"book-chapter","created":{"date-parts":[[2018,12,6]],"date-time":"2018-12-06T08:22:02Z","timestamp":1544084522000},"page":"4817-4822","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["XML Typechecking"],"prefix":"10.1007","author":[{"given":"V\u00e9ronique","family":"Benzaken","sequence":"first","affiliation":[]},{"given":"Giuseppe","family":"Castagna","sequence":"additional","affiliation":[]},{"given":"Haruo","family":"Hosoya","sequence":"additional","affiliation":[]},{"given":"Benjamin C.","family":"Pierce","sequence":"additional","affiliation":[]},{"given":"Stijn","family":"Vansummeren","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,12,7]]},"reference":[{"issue":"3","key":"788_CR24224","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1145\/772062.772065","volume":"4","author":"N Alon","year":"2003","unstructured":"Alon N, Milo T, Neven F, Suciu D, Vianu V. Typechecking xml views of relational databases. ACM Trans Comput Log. 2003;4(3):315\u201354.","journal-title":"ACM Trans Comput Log"},{"issue":"9","key":"788_CR24225","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/944746.944711","volume":"38","author":"V\u00e9ronique Benzaken","year":"2003","unstructured":"Benzaken V, Castagna G, Frisch A. CDuce: an XML-centric general-purpose language. In: Proceedings of the 8th ACM SIGPLAN International Conference on Functional Programming; 2003. p. 51\u201363.","journal-title":"ACM SIGPLAN Notices"},{"issue":"2","key":"788_CR24226","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/514183.514184","volume":"2","author":"C Brabrand","year":"2002","unstructured":"Brabrand C, M\u00f8ller A, Schwartzbach MI. The <bigwig>project. ACM Trans Internet Tech. 2002;2(2):79\u2013114.","journal-title":"ACM Trans Internet Tech"},{"key":"788_CR24227","first-page":"1","volume-title":"Database Programming Languages","author":"Giuseppe Castagna","year":"2005","unstructured":"Castagna G. Patterns and types for querying XML. In: Proceedings of the 10th International Symposium on Database Programming Languages; 2005. p. 1\u201326."},{"key":"788_CR24228","doi-asserted-by":"crossref","unstructured":"Castagna G, Frisch A. A gentle introduction to semantic subtyping. In: Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming; 2005. p. 198\u2013208.","DOI":"10.1145\/1069774.1069793"},{"key":"788_CR24229","unstructured":"Draper D, Fankhauser P, Ashok Malhotra M.F, Rose K, Rys M, Sim\u00e9on J, Wadler P. XQuery 1.0 and XPath 2.0 Formal Semantics. 2007. http:\/\/www.w3.org\/Tr\/query-semantics\/."},{"issue":"1","key":"788_CR24230","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/BF01683280","volume":"10","author":"J Engelfriet","year":"1977","unstructured":"Engelfriet J. Top-down tree transducers with regular look-ahead. Math Syst Theory. 1977;10(1):289\u2013303.","journal-title":"Math Syst Theory"},{"issue":"1","key":"788_CR24231","doi-asserted-by":"publisher","first-page":"710","DOI":"10.1016\/0022-0000(85)90066-2","volume":"31","author":"J Engelfriet","year":"1985","unstructured":"Engelfriet J, Vogler H. Macro tree transducers. J Comput Syst Sci. 1985;31(1):710\u2013146.","journal-title":"J Comput Syst Sci"},{"key":"788_CR24232","doi-asserted-by":"crossref","unstructured":"Fern\u00e1ndez MF, Sim\u00e9on J, Wadler P. A semi-monad for semi-structured data. In: Proceedings of the 8th International Conference on Database Theory; 2001. p. 263\u2013300.","DOI":"10.1007\/3-540-44503-X_18"},{"key":"788_CR24233","doi-asserted-by":"crossref","unstructured":"Frisch A. Regular tree language recognition with static information. In: Proceedings of the 3rd IFIP International Conference on Theoretical Computer Science; 2004. p. 661\u201374.","DOI":"10.1007\/1-4020-8141-3_50"},{"key":"788_CR24234","doi-asserted-by":"crossref","unstructured":"Frisch A. OCaml+CDuce. In: Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming; 2006. p. 192\u2013200.","DOI":"10.1145\/1160074.1159829"},{"key":"788_CR24235","doi-asserted-by":"crossref","unstructured":"Frisch A, Castagna GBenzaken V. Semantic subtyping. In: Proceedings of the 17th IEEE Conference on Logic in Computer Science; 2002. p. 137\u201346.","DOI":"10.1109\/LICS.2002.1029823"},{"issue":"4","key":"788_CR24236","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1391289.1391293","volume":"55","author":"A Frisch","year":"2008","unstructured":"Frisch A, Castagna G, Benzaken V. Semantic subtyping: dealing set-theoretically with function, union, intersection, and negation types. J ACM. 2008;55(4):1\u201364.","journal-title":"J ACM"},{"key":"788_CR24237","doi-asserted-by":"crossref","unstructured":"Frisch A, Hosoya H. Towards practical typechecking for macro tree transducers. In: Proceedings of the 11th International Workshop on Database Programming Languages; 2007. p. 246\u201361.","DOI":"10.1007\/978-3-540-75987-4_17"},{"key":"788_CR24238","unstructured":"Gapeyev V, Levin MY, Pierce BC, Schmitt A. The Xtatic experience. In: Proceedings of the Workshop on Programming Language Technologies for XML; 2005. University of Pennsylvania technical report MS-CIS-04-24, 2004."},{"key":"788_CR24239","doi-asserted-by":"crossref","unstructured":"Harren M, Raghavachari M, Shmueli O, Burke MG, Bordawekar R, Pechtchanski I, Sarkar V. XJ: facilitating XML processing in Java. In: Proceedings of the 14th International World Wide Web Conference; 2005. p. 278\u201387.","DOI":"10.1145\/1060745.1060788"},{"issue":"6","key":"788_CR24240","doi-asserted-by":"publisher","first-page":"711","DOI":"10.1017\/S0956796806005909","volume":"16","author":"H Hosoya","year":"2006","unstructured":"Hosoya H. Regular expression filters for XML. J Funct Program. 2006;16(6):711\u201350.","journal-title":"J Funct Program"},{"key":"788_CR24241","doi-asserted-by":"crossref","unstructured":"Hosoya H, Frisch A, Castagna G. Parametric polymorphism for XML. In: Proceedings of the 32nd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages; 2005. p. 50\u201362.","DOI":"10.1145\/1047659.1040310"},{"issue":"1\u20133","key":"788_CR24242","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1016\/j.tcs.2006.05.004","volume":"360","author":"H Hosoya","year":"2006","unstructured":"Hosoya H, Murata M. Boolean operations and inclusion test for attribute-element constraints. Theory Comput Sci. 2006;360(1\u20133):327\u201351.","journal-title":"Theory Comput Sci"},{"key":"788_CR24243","doi-asserted-by":"crossref","unstructured":"Hosoya H, Pierce BC. Regular expression pattern matching for XML. J Funct Program. 2002;13(6):961\u20131004. Short version appeared in Proceedings of the 25th Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages. 2001. p. 67\u201380.","DOI":"10.1145\/360204.360209"},{"issue":"2","key":"788_CR24244","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/767193.767195","volume":"3","author":"H Hosoya","year":"2003","unstructured":"Hosoya H, Pierce BC. XDuce: a typed XML processing language. ACM Trans Internet Tech. 2003;3(2):117\u201348.","journal-title":"ACM Trans Internet Tech"},{"issue":"1","key":"788_CR24245","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/1053468.1053470","volume":"27","author":"H Hosoya","year":"2004","unstructured":"Hosoya H, Vouillon J, Pierce BC. Regular expression types for XML. ACM Trans Program Lang Syst. 2004;27(1):46\u201390.","journal-title":"ACM Trans Program Lang Syst."},{"key":"788_CR24246","unstructured":"Kirkegaard C, M\u00f8ller A. Xact \u2013 XML transformations in Java. In: Proceedings of Programming Language Technologies for XML; 2006. p. 87."},{"key":"788_CR24247","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/11601524_12","volume-title":"Database Programming Languages","author":"Michael Y. Levin","year":"2005","unstructured":"Levin MY, Pierce BC. Type-based optimization for regular patterns. In: Proceedings of the 10th International Workshop on Database Programming Languages; 2005. p. 184\u201398."},{"key":"788_CR24248","unstructured":"Lu KZM, Sulzmann M. XHaskell: regular expression types for Haskell. Manuscript. 2004."},{"key":"788_CR24249","doi-asserted-by":"crossref","unstructured":"Maneth S, Perst T, Berlea A, Seidl H. XML type checking with macro tree transducers. In: Proceedings of the 24th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems; 2005. p. 283\u201394.","DOI":"10.1145\/1065167.1065203"},{"key":"788_CR24250","first-page":"254","volume-title":"Lecture Notes in Computer Science","author":"Sebastian Maneth","year":"2006","unstructured":"Maneth S, Perst T, Seidl H. Exact XML type checking in polynomial time. In: Proceedings of the 11th International Conference on Database Theory; 2007. p. 254\u201368."},{"issue":"3","key":"788_CR24251","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1016\/j.jcss.2006.10.005","volume":"73","author":"W Martens","year":"2007","unstructured":"Martens W, Neven F. Frontiers of tractability for typechecking simple xml transformations. J Comput Syst Sci. 2007;73(3):362\u201390.","journal-title":"J Comput Syst Sci"},{"key":"788_CR24252","doi-asserted-by":"crossref","unstructured":"Milo T, Suciu D. Type inference for queries on semistructured data. In: Proceedings of the 18th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems; 1999. p. 215\u201326.","DOI":"10.1145\/303976.303998"},{"issue":"1","key":"788_CR24253","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1016\/S0022-0000(02)00030-2","volume":"66","author":"T Milo","year":"2003","unstructured":"Milo T, Suciu D, Vianu V. Typechecking for XML transformers. J Comput Syst Sci. 2003;66(1): 66\u201397.","journal-title":"J Comput Syst Sci"},{"key":"788_CR24254","doi-asserted-by":"crossref","unstructured":"M\u00f8ller A, Olesen MO, Schwartzbach MI. Static validation of XSL transformations. ACM Trans Program Lang Syst. 2007;29(4): Article 21.","DOI":"10.1145\/1255450.1255454"},{"key":"788_CR24255","first-page":"153","volume-title":"Lecture Notes in Computer Science","author":"Makoto Murata","year":"1997","unstructured":"Murata M. Transformation of documents and schemas by patterns and contextual conditions. In: Proceedings of the 3rd International Workshop on Principles of Document Processing; 1996. p. 153\u201369."},{"key":"788_CR24256","doi-asserted-by":"crossref","unstructured":"Papakonstantinou Y, Vianu V. DTD inference for views of XML data. In: Proceedings of the 19th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems; 2000. p. 35\u201346.","DOI":"10.1145\/335168.335173"},{"issue":"3","key":"788_CR24257","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. Inf Process Lett. 2004;89(3):141\u20139.","journal-title":"Inf Process Lett"},{"key":"788_CR24258","unstructured":"Pierce BC. Types and programming languages. MIT. 2002."},{"key":"788_CR24259","doi-asserted-by":"crossref","unstructured":"Suda T, Hosoya H. Non-backtracking top-down algorithm for checking tree automata containment. In: Proceedings of the 10th International Conference on Implementation and Application of Automata; 2005. p. 83\u201392.","DOI":"10.1007\/11605157_25"},{"issue":"1","key":"788_CR24260","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1145\/507338.507360","volume":"31","author":"D Suciu","year":"2002","unstructured":"Suciu D. The XML typechecking problem. ACM SIGMOD Rec. 2002;31(1):89\u201396.","journal-title":"ACM SIGMOD Rec"},{"issue":"2","key":"788_CR24261","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/j.entcs.2005.11.047","volume":"148","author":"M Sulzmann","year":"2006","unstructured":"Sulzmann M, Lu KZM. A type-safe embedding of XDuce into ML. Electr Notes Theory Comput Sci. 2006;148(2):239\u201364.","journal-title":"Electr Notes Theory Comput Sci"},{"key":"788_CR24262","doi-asserted-by":"crossref","unstructured":"Tozawa A. Towards static type checking for XSLT. In: Proceedings of the 1st ACM Symposium on Document Engineering; 2001. p. 18\u201327.","DOI":"10.1145\/502187.502191"},{"key":"788_CR24263","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/11737414_7","volume-title":"Functional and Logic Programming","author":"Akihiko Tozawa","year":"2006","unstructured":"Tozawa A. XML type checking using high-level tree transducer. In: Proceedings of the 8th International Symposium on Functional and Logic Programming; 2006. p. 81\u201396."},{"issue":"4","key":"788_CR24264","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/1255443.1255447","volume":"54","author":"S Vansummeren","year":"2007","unstructured":"Vansummeren S. On deciding well-definedness for query languages on trees. J. ACM. 2007;54(4):19.","journal-title":"J. ACM"},{"key":"788_CR24265","unstructured":"Vouillon J. Polymorphism and XDuce-style patterns. In: Proceedings of the Programming Languages Technologies for XML; 2006. p. 49\u201360."},{"key":"788_CR24266","doi-asserted-by":"crossref","unstructured":"Vouillon J. Polymorphic regular tree types and patterns. In: Proceedings of the 33rd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages; 2006. p. 103\u201314.","DOI":"10.1145\/1111037.1111047"}],"container-title":["Encyclopedia of Database Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4614-8265-9_788","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T09:43:32Z","timestamp":1775295812000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4614-8265-9_788"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9781461482666","9781461482659"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-1-4614-8265-9_788","relation":{},"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"7 December 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}