{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:37:56Z","timestamp":1759639076580,"version":"3.40.3"},"publisher-location":"Boston, MA","reference-count":43,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387355443"},{"type":"electronic","value":"9780387399409"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-0-387-39940-9_788","type":"book-chapter","created":{"date-parts":[[2009,9,16]],"date-time":"2009-09-16T08:53:09Z","timestamp":1253091189000},"page":"3646-3650","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","reference":[{"issue":"3","key":"788_CR1_788","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., and Vianu V. Typechecking xml views of relational databases. ACM Trans. Comput. Log., 4(3):315\u2013354,2003.","journal-title":"ACM Trans. Comput. Log."},{"key":"788_CR2_788","doi-asserted-by":"crossref","unstructured":"Benzaken V., Castagna G., and Frisch A. CDuce: an XML-centric general-purpose language. In Proc. 8th ACM SIGPLAN Int. Conf. on Functional Programming, 2003, pp. 51\u201363.","DOI":"10.1145\/944746.944711"},{"key":"788_CR3_788","doi-asserted-by":"crossref","unstructured":"Brabrand C., M\u00f8ller A., and Schwartzbach M.I. The <bigwig>project. ACM Trans. Internet Tech., 2(2):79\u2013114, 2002.","DOI":"10.1145\/514183.514184"},{"key":"788_CR4_788","doi-asserted-by":"crossref","unstructured":"Castagna G. Patterns and types for querying XML. In Proc. of DBPL 2005, Tenth International Symposium on Database Programming Languages, 2005, pp. 1\u201326.","DOI":"10.1007\/11601524_1"},{"key":"788_CR5_788","doi-asserted-by":"crossref","unstructured":"Castagna G. and Frisch A. A gentle introduction to semantic subtyping. In Proc. 7th Int. ACM SIGPLAN Conf. on Principles and Practice of Declarative Programming, 2005, pp. 198\u2013208.","DOI":"10.1145\/1069774.1069793"},{"key":"788_CR6_788","unstructured":"Draper D., Fankhauser P., Ashok Malhotra M.F., Rose K., Rys M., Sim\u00e9on J., and Wadler P. XQuery 1.0 and XPath 2.0 Formal Semantics, 2007. http:\/\/www.w3.org\/Tr\/query-semantics\/ ."},{"key":"788_CR7_788","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, 10:289\u2013303, 1977.","journal-title":"Math. Syst. Theory"},{"issue":"1","key":"788_CR8_788","doi-asserted-by":"crossref","first-page":"710","DOI":"10.1016\/0022-0000(85)90066-2","volume":"31","author":"J. Engelfriet","year":"1985","unstructured":"Engelfriet J. and Vogler H. Macro tree transducers. J. Comput. Syst. Sci., 31(1):710\u2013146, 1985.","journal-title":"J. Comput. Syst. Sci."},{"key":"788_CR9_788","doi-asserted-by":"crossref","unstructured":"Fern\u00e1ndez M.F., Sim\u00e9on J., and Wadler P. A semi-monad for semi-structured data. In Proc. 8th Int. Conf. on Database Theory, 2001, pp. 263\u2013300.","DOI":"10.1007\/3-540-44503-X_18"},{"key":"788_CR10_788","doi-asserted-by":"crossref","unstructured":"Frisch A. Regular tree language recognition with static information. In Proc. 3rd IFIP Int. Conf. on Theoretical Computer Science, pp. 661\u2013674.2004,","DOI":"10.1007\/1-4020-8141-3_50"},{"key":"788_CR11_788","doi-asserted-by":"crossref","unstructured":"Frisch A. OCaml+CDuce. In Proc. 11th ACM SIGPLAN Int. Conf. on Functional Programming, 2006, pp. 192\u2013200.","DOI":"10.1145\/1160074.1159829"},{"key":"788_CR12_788","doi-asserted-by":"crossref","unstructured":"Frisch A., Castagna G., and Benzaken V. Semantic subtyping. In Proc. 17th IEE Conf. on Logic in Computer Science, 2002, pp. 137\u2013146.","DOI":"10.1109\/LICS.2002.1029823"},{"key":"788_CR13_788","unstructured":"Frisch A., Castagna G., and Benzaken V. Semantic subtyping: dealing set-theoretically with function, union, intersection, and negation types. J. ACM, 55(4):1\u201364, 2008."},{"key":"788_CR14_788","doi-asserted-by":"crossref","unstructured":"Frisch A. and Hosoya H. Towards practical typechecking for macro tree transducers. In Proc. 11th Int. Workshop on Database Programming Languages, 2007, pp. 246\u2013261.","DOI":"10.1007\/978-3-540-75987-4_17"},{"key":"788_CR15_788","unstructured":"Gapeyev V., Levin M.Y., Pierce B.C., and Schmitt A. The Xtatic experience. In Proc. Workshop on Programming Language Technologies for XML (PLAN-X). January 2005. University of Pennsylvania Technical Report MS-CIS-04-24, 2004."},{"key":"788_CR16_788","doi-asserted-by":"crossref","unstructured":"Harren M., Raghavachari M., Shmueli O., Burke M.G., Bordawekar R., Pechtchanski I., and Sarkar V. XJ: facilitating XML processing in Java. In Proc. 14th Int. World Wide Web Conference, 2005, pp. 278\u2013287.","DOI":"10.1145\/1060745.1060788"},{"issue":"6","key":"788_CR17_788","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., 16(6):711\u2013750, 2006.","journal-title":"J. Funct. Program."},{"key":"788_CR18_788","doi-asserted-by":"crossref","unstructured":"Hosoya H., Frisch A., and Castagna G. Parametric polymorphism for XML. In Proc. 32nd ACM SIGACT-SIGPLAN Symp. on Principles of Programming Languages, 2005, pp. 50\u201362.","DOI":"10.1145\/1047659.1040310"},{"issue":"1\u20133","key":"788_CR19_788","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. and Murata M. Boolean operations and inclusion test for attribute-element constraints. Theor. Comput. Sci., 360(1\u20133):327\u2013351, 2006.","journal-title":"Theor. Comput. Sci."},{"issue":"6","key":"788_CR20_788","doi-asserted-by":"publisher","first-page":"961","DOI":"10.1017\/S0956796802004410","volume":"13","author":"H. Hosoya","year":"2002","unstructured":"Hosoya H. and Pierce B.C. Regular expression pattern matching for XML. J. Funct. Program., 13(6):961\u20131004, 2002.Short version appeared in Proceedings of The 25th Annual ACM SIGPLAN\u2013SIGACT Symposium on Principles of Programming Languages. 2001, pp. 67\u201380.","journal-title":"J. Funct. Program."},{"issue":"2","key":"788_CR21_788","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/767193.767195","volume":"3","author":"H. Hosoya","year":"2003","unstructured":"Hosoya H. and Pierce B.C. XDuce: a typed XML processing language. ACM Trans. Internet Tech., 3(2):117\u2013148,2003.","journal-title":"ACM Trans. Internet Tech."},{"issue":"1","key":"788_CR22_788","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/1053468.1053470","volume":"27","author":"H. Hosoya","year":"2004","unstructured":"Hosoya H., Vouillon J., and Pierce B.C. Regular expression types for XML. ACM Trans. Program. Lang. Syst., 27(1):46\u201390,2004.","journal-title":"Program. Lang. Syst."},{"key":"788_CR23_788","unstructured":"Kirkegaard C. and M\u00f8ller A. Xact \u2013 XML transformations in Java. In Proc. Programming Language Technologies for XML, 2006, p. 87."},{"key":"788_CR24_788","doi-asserted-by":"crossref","unstructured":"Levin M.Y. and Pierce B.C. Type-based optimization for regular patterns. In Proc. 10th Int. Workshop on Database Programming Languages, 2005, pp. 184\u2013198.","DOI":"10.1007\/11601524_12"},{"key":"788_CR25_788","unstructured":"Lu K.Z.M. and Sulzmann M. XHaskell: regular expression types for Haskell. Manuscript, 2004."},{"key":"788_CR26_788","doi-asserted-by":"crossref","unstructured":"Maneth S., Perst T., Berlea A., and Seidl H. XML type checking with macro tree transducers. In Proc. 24th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, 2005, pp. 283\u2013294.","DOI":"10.1145\/1065167.1065203"},{"key":"788_CR27_788","doi-asserted-by":"crossref","unstructured":"Maneth S., Perst T., and Seidl H. Exact XML type checking in polynomial time. In Proc. 11th Int. Conf. on Database Theory, 2007, pp. 254\u2013268.","DOI":"10.1007\/11965893_18"},{"issue":"3","key":"788_CR28_788","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. and Neven F. Frontiers of tractability for typechecking simple xml transformations. J. Comput. Syst. Sci., 73(3):362\u2013390, 2007.","journal-title":"J. Comput. Syst. Sci."},{"key":"788_CR29_788","doi-asserted-by":"crossref","unstructured":"Milo T. and Suciu D. Type inference for queries on semistructured data. In Proc. 18th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, 1999, pp. 215\u2013226.","DOI":"10.1145\/303976.303998"},{"issue":"1","key":"788_CR30_788","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., and Vianu V. Typechecking for XML transformers. J. Comput. Syst. Sci., 66(1):66\u201397, 2003.","journal-title":"J. Comput. Syst. Sci."},{"key":"788_CR31_788","doi-asserted-by":"crossref","unstructured":"M\u00f8ller A., Olesen M.O., and Schwartzbach M.I. Static validation of XSL transformations. ACM Trans. Programming Languages and Syst., 29(4): Article 21, 2007.","DOI":"10.1145\/1255450.1255454"},{"key":"788_CR32_788","doi-asserted-by":"crossref","unstructured":"Murata M. Transformation of documents and schemas by patterns and contextual conditions. In Proc. 3rd Int. Workshop on Principles of Document Processing, pp. 153\u2013169.1996,","DOI":"10.1007\/3-540-63620-X_61"},{"key":"788_CR33_788","doi-asserted-by":"crossref","unstructured":"Papakonstantinou Y. and Vianu V. DTD inference for views of XML data. In Proc. 19th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, 2000, pp. 35\u201346.","DOI":"10.1145\/335168.335173"},{"issue":"3","key":"788_CR34_788","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. and Seidl H. Macro forest transducers. Inf. Process. Lett., 89(3):141\u2013149, 2004.","journal-title":"Inf. Process. Lett."},{"key":"788_CR35_788","unstructured":"Pierce B.C. Types and Programming Languages. MIT, 2002."},{"key":"788_CR36_788","doi-asserted-by":"crossref","unstructured":"Suda T. and Hosoya H. Non-backtracking top-down algorithm for checking tree automata containment. In Proc. 10th Int. Conf. Implementation and Application of Automata, 2005, pp. 83\u201392.","DOI":"10.1007\/11605157_25"},{"issue":"1","key":"788_CR37_788","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., 31(1):89\u201396, 2002.","journal-title":"ACM SIGMOD Rec."},{"issue":"2","key":"788_CR38_788","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. and Lu K.Z.M. A type-safe embedding of XDuce into ML. Electr. Notes Theor. Comput. Sci., 148(2):239\u2013264, 2006.","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"788_CR39_788","doi-asserted-by":"crossref","unstructured":"Tozawa A. Towards static type checking for XSLT. In Proc. 1st ACM Symp. on Document Engineering, 2001, pp. 18\u201327.","DOI":"10.1145\/502187.502191"},{"key":"788_CR40_788","doi-asserted-by":"crossref","unstructured":"Tozawa A. XML type checking using high-level tree transducer. In Proc. 8th Int. Symp. Functional and Logic Programming, 2006, pp. 81\u201396.","DOI":"10.1007\/11737414_7"},{"issue":"4","key":"788_CR41_788","doi-asserted-by":"publisher","first-page":"19,","DOI":"10.1145\/1255443.1255447","volume":"54","author":"S. Vansummeren","year":"2007","unstructured":"Vansummeren S. 2007.On deciding well-definedness for query languages on trees. J. ACM, 54(4):19,","journal-title":"J. ACM"},{"key":"788_CR42_788","unstructured":"Vouillon J. Polymorphism and XDuce-style patterns. In Proc. Programming Languages Technologies for XML, 2006, pp. 49\u201360."},{"key":"788_CR43_788","doi-asserted-by":"crossref","unstructured":"Vouillon J. Polymorphic regular tree types and patterns. In Proc. 33rd ACM SIGACT-SIGPLAN Symp. on Principles of Programming Languages, 2006, pp. 103\u2013114.","DOI":"10.1145\/1111320.1111047"}],"container-title":["Encyclopedia of Database Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-39940-9_788","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T05:33:56Z","timestamp":1739338436000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-39940-9_788"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9780387355443","9780387399409"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-39940-9_788","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}