{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:13:03Z","timestamp":1759637583547},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540759867"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75987-4_17","type":"book-chapter","created":{"date-parts":[[2007,10,4]],"date-time":"2007-10-04T09:29:16Z","timestamp":1191490156000},"page":"246-260","source":"Crossref","is-referenced-by-count":7,"title":["Towards Practical Typechecking for Macro Tree Transducers"],"prefix":"10.1007","author":[{"given":"Alain","family":"Frisch","sequence":"first","affiliation":[]},{"given":"Haruo","family":"Hosoya","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Alon, N., Milo, T., Neven, F., Suciu, D., Vianu, V.: XML with data values: Typechecking revisited. In: Proceedings of Symposium on Principles of Database Systems (PODS) (2001)","DOI":"10.1145\/375551.375570"},{"key":"17_CR2","first-page":"1","volume-title":"Third Int\u2019l. Symp. on Prog. Lang. Implementation and Logic Programming","author":"A.W. Appel","year":"1991","unstructured":"Appel, A.W., MacQueen, D.B.: Standard ML of New Jersey. In: Third Int\u2019l. Symp. on Prog. Lang. Implementation and Logic Programming, pp. 1\u201313. Springer, Heidelberg (1991)"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Benzaken, V., Castagna, G., Frisch, A.: CDuce: An XML-centric general-purpose language. In: Proceedings of the International Conference on Functional Programming (ICFP), pp. 51\u201363 (2003)","DOI":"10.1145\/944705.944711"},{"key":"17_CR4","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/BF00289307","volume":"16","author":"J. Engelfriet","year":"1981","unstructured":"Engelfriet, J., Fil\u00e9, G.: The formal power of one-visit attribute grammars. Acta Informatica\u00a016, 275\u2013302 (1981)","journal-title":"Acta Informatica"},{"issue":"9","key":"17_CR5","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1007\/s00236-003-0120-0","volume":"39","author":"J. Engelfriet","year":"2003","unstructured":"Engelfriet, J., Maneth, S.: A comparison of pebble tree transducers with macro tree transducers. Acta Informatica\u00a039(9), 613\u2013698 (2003)","journal-title":"Acta Informatica"},{"issue":"1","key":"17_CR6","doi-asserted-by":"crossref","first-page":"146","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.\u00a031(1), 146\u2013710 (1985)","journal-title":"J. Comput. Syst. Sci."},{"key":"17_CR7","unstructured":"Frisch, A.: Th\u00e9orie, conception et r\u00e9alisation d\u2019un langage de programmation adapt\u00e9 \u00e0 XML. PhD thesis, Universit Paris 7 (2004)"},{"key":"17_CR8","unstructured":"Frisch, A., Hosoya, H.: Towards practial typechecking for macro tree transducers. Technical report, INRIA (2007)"},{"issue":"6","key":"17_CR9","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1017\/S0956796806005909","volume":"16","author":"H. Hosoya","year":"2006","unstructured":"Hosoya, H.: Regular expression filters for XML. Journal of Functional Programming\u00a016(6), 711\u2013750 (2006), Short version appeared in Proceedings of Programming Technologies for XML (PLAN-X), pp. 13\u201327 (2004)","journal-title":"Journal of Functional Programming"},{"key":"17_CR10","unstructured":"Hosoya, H., Pierce, B.C.: XDuce: A typed XML processing language. ACM Transactions on Internet Technology 3(2), 117\u2013148 (2003). In: Suciu, D., Vossen, G. (eds.) WebDB 2000. LNCS, vol.\u00a01997, pp. 226\u2013244. Springer, Heidelberg (2001)"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Hosoya, H., Vouillon, J., Pierce, B.C.: Regular expression types for XML. ACM Transactions on Programming Languages and Systems, 27(1), 46\u201390 (2004). Short version appeared in Proceedings of the International Conference on Functional Programming (ICFP), pp. 11\u201322 (2000)","DOI":"10.1145\/1053468.1053470"},{"key":"17_CR12","unstructured":"Leroy, X., Doligez, D., Garrigue, J., Vouillon, J., R\u00e9my, D.: The Objective Caml system. Software and documentation available on the Web (1996), http:\/\/pauillac.inria.fr\/ocaml\/"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Maneth, S., Perst, T., Berlea, A., Seidl, H.: XML type checking with macro tree transducers. In: Proceedings of Symposium on Principles of Database Systems (PODS), pp. 283\u2013294 (2005)","DOI":"10.1145\/1065167.1065203"},{"key":"17_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/11965893_18","volume-title":"Database Theory \u2013 ICDT 2007","author":"S. Maneth","year":"2006","unstructured":"Maneth, S., Perst, T., Seidl, H.: Exact XML type checking in polynomial time. In: Schwentick, T., Suciu, D. (eds.) ICDT 2007. LNCS, vol.\u00a04353, pp. 254\u2013268. Springer, Heidelberg (2006)"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Martens, W., Neven, F.: Typechecking top-down uniform unranked tree transducers. In: Proceedings of International Conference on Database Theory, pp. 64\u201378 (2003)","DOI":"10.1007\/3-540-36285-1_5"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Martens, W., Neven, F.: Frontiers of tractability for typechecking simple XML transformations. In: Proceedings of Symposium on Principles of Database Systems (PODS), pp. 23\u201334 (2004)","DOI":"10.1145\/1055558.1055563"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Milo, T., Suciu, D.: Type inference for queries on semistructured data. In: Proceedings of Symposium on Principles of Database Systems, Philadelphia, pp. 215\u2013226 (May 1999)","DOI":"10.1145\/303976.303998"},{"key":"17_CR18","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/335168.335171","volume-title":"Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems","author":"T. Milo","year":"2000","unstructured":"Milo, T., Suciu, D., Vianu, V.: Typechecking for XML transformers. In: Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pp. 11\u201322. ACM, New York (2000)"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"M\u00f8ller, A., Olesen, M.\u00d8., Schwartzbach, M.I.: Static validation of XSL Transformations. Technical Report RS-05-32, BRICS, Draft, accepted for TOPLAS (October 2005)","DOI":"10.7146\/brics.v12i32.21899"},{"key":"17_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/3-540-63620-X_61","volume-title":"Principles of Document Processing","author":"M. Murata","year":"1997","unstructured":"Murata, M.: Transformation of documents and schemas by patterns and contextual conditions. In: Nicholas, C., Wood, D. (eds.) PODDP 1996 and PODP 1996. LNCS, vol.\u00a01293, pp. 153\u2013169. Springer, Heidelberg (1997)"},{"key":"17_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/11924661_21","volume-title":"Programming Languages and Systems","author":"K. Nakano","year":"2006","unstructured":"Nakano, K., Mu, S.-C.: A pushdown machine for recursive XML processing. In: Kobayashi, N. (ed.) APLAS 2006. LNCS, vol.\u00a04279, pp. 340\u2013356. Springer, Heidelberg (2006)"},{"issue":"3","key":"17_CR22","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(3), 141\u2013149 (2004)","journal-title":"Information Processing Letters"},{"key":"17_CR23","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/0304-3975(85)90077-5","volume":"41","author":"G. Slutzki","year":"1985","unstructured":"Slutzki, G.: Alternating tree automata. Theoretical Computer Science\u00a041, 305\u2013318 (1985)","journal-title":"Theoretical Computer Science"},{"key":"17_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/11605157_25","volume-title":"Implementation and Application of Automata","author":"T. Suda","year":"2006","unstructured":"Suda, T., Hosoya, H.: Non-backtracking top-down algorithm for checking tree automata containment. In: Farr\u00e9, J., Litovsky, I., Schmitz, S. (eds.) CIAA 2005. LNCS, vol.\u00a03845, pp. 83\u201392. Springer, Heidelberg (2006)"},{"key":"17_CR25","volume-title":"Proceedings of ACM Symposium on Document Engineering","author":"A. Tozawa","year":"2001","unstructured":"Tozawa, A.: Towards static type checking for XSLT. In: Proceedings of ACM Symposium on Document Engineering, ACM Press, New York (2001)"},{"key":"17_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/11737414_7","volume-title":"Functional and Logic Programming","author":"A. Tozawa","year":"2006","unstructured":"Tozawa, A.: XML type checking using high-level tree transducer. In: Hagiya, M., Wadler, P. (eds.) FLOPS 2006. LNCS, vol.\u00a03945, pp. 81\u201396. Springer, Heidelberg (2006)"},{"key":"17_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/3-540-45089-0_20","volume-title":"Implementation and Application of Automata","author":"A. Tozawa","year":"2003","unstructured":"Tozawa, A., Hagiya, M.: XML schema containment checking based on semi-implicit techniques. In: Ibarra, O.H., Dang, Z. (eds.) CIAA 2003. LNCS, vol.\u00a02759, pp. 213\u2013225. Springer, Heidelberg (2003)"},{"key":"17_CR28","unstructured":"Tozawa, A., Hagiya, M.: Efficient decision procedure for a logic for XML, 2004 (unpublished manuscipt)"}],"container-title":["Lecture Notes in Computer Science","Database Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75987-4_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T05:48:53Z","timestamp":1684043333000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75987-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540759867"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75987-4_17","relation":{},"subject":[]}}