{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T11:13:32Z","timestamp":1768907612090,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540489375","type":"print"},{"value":"9783540489382","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11924661_22","type":"book-chapter","created":{"date-parts":[[2006,10,27]],"date-time":"2006-10-27T13:42:39Z","timestamp":1161956559000},"page":"357-373","source":"Crossref","is-referenced-by-count":22,"title":["XML Validation for Context-Free Grammars"],"prefix":"10.1007","author":[{"given":"Yasuhiko","family":"Minamide","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akihiko","family":"Tozawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"9","key":"22_CR1","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1007\/s00236-002-0085-4","volume":"38","author":"J. Berstel","year":"2002","unstructured":"Berstel, J., Boasson, L.: Formal properties of XML grammars and languages. Acta Informatica\u00a038(9), 649\u2013671 (2002)","journal-title":"Acta Informatica"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Brabrand, C., M\u00f8ller, A., Schwartzbach, M.I.: Static validation of dynamically generated HTML. In: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, pp. 38\u201345 (2001)","DOI":"10.1145\/379605.379657"},{"key":"22_CR3","unstructured":"Clark, J., Murata, M.: RELAX NG specification (2001), http:\/\/www.oasis-open.org\/committees\/relax-ng\/spec"},{"issue":"6","key":"22_CR4","doi-asserted-by":"publisher","first-page":"814","DOI":"10.1145\/945885.945890","volume":"25","author":"A.S. Christensen","year":"2003","unstructured":"Christensen, A.S., M\u00f8ller, A., Schwartzbach, M.I.: Extending Java for high-level web service construction. ACM Transactions on Programming Languages and Systems\u00a025(6), 814\u2013875 (2003)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"22_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44898-5_1","volume-title":"Static Analysis","author":"A.S. Christensen","year":"2003","unstructured":"Christensen, A.S., M\u00f8ller, A., Schwartzbach, M.I.: Precise analysis of string expressions. In: Cousot, R. (ed.) SAS 2003. LNCS, vol.\u00a02694, pp. 1\u201318. Springer, Heidelberg (2003)"},{"issue":"4","key":"22_CR6","doi-asserted-by":"crossref","first-page":"675","DOI":"10.1145\/322217.322224","volume":"27","author":"S.A. Greibach","year":"1980","unstructured":"Greibach, S.A., Friedman, E.P.: Superdeterministic PDAs: A subcase with a decidable inclusion problem. Journal of the Association for Computing Machinery\u00a027(4), 675\u2013700 (1980)","journal-title":"Journal of the Association for Computing Machinery"},{"key":"22_CR7","volume-title":"Introduction to Formal Language Theory, ch. 4","author":"M.A. Harrison","year":"1978","unstructured":"Harrison, M.A.: Introduction to Formal Language Theory, ch. 4. Addison-Wesley, Reading (1978)"},{"issue":"2","key":"22_CR8","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/767193.767195","volume":"3","author":"H. Hosoya","year":"2003","unstructured":"Hosoya, H., Pierce, B.: XDuce: A statically typed XML processing language. ACM Transactions on Internet Technology\u00a03(2), 117\u2013148 (2003)","journal-title":"ACM Transactions on Internet Technology"},{"issue":"1","key":"22_CR9","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/1053468.1053470","volume":"27","author":"H. Hosoya","year":"2005","unstructured":"Hosoya, H., Vouillon, J., Pierce, B.: Regular expression types for XML. ACM Transactions on Programming Languages and Systems\u00a027(1), 46\u201390 (2005)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"22_CR10","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/S0019-9958(67)90564-5","volume":"11","author":"D.E. Knuth","year":"1967","unstructured":"Knuth, D.E.: A characterization of parenthesis languages. Information and Control\u00a011(3), 269\u2013289 (1967)","journal-title":"Information and Control"},{"issue":"3","key":"22_CR11","doi-asserted-by":"crossref","first-page":"490","DOI":"10.1145\/321406.321411","volume":"14","author":"R. McNaughton","year":"1967","unstructured":"McNaughton, R.: Parenthesis grammars. Journal of the Association for Computing Machinery\u00a014(3), 490\u2013500 (1967)","journal-title":"Journal of the Association for Computing Machinery"},{"key":"22_CR12","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1145\/1060745.1060809","volume-title":"Proceedings of the 14th International World Wide Web Conference","author":"Y. Minamide","year":"2005","unstructured":"Minamide, Y.: Static approximation of dynamically generated Web pages. In: Proceedings of the 14th International World Wide Web Conference, pp. 432\u2013441. ACM Press, New York (2005)"},{"key":"22_CR13","unstructured":"Murata, M.: Hedge automata: a formal model for XML schemata (1999), http:\/\/www.xml.gr.jp\/relax\/hedge_nice.html"},{"key":"22_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1007\/BFb0049431","volume-title":"Algorithms - ESA \u201994","author":"W. Plandowski","year":"1994","unstructured":"Plandowski, W.: Testing equivalence of morphisms on context-free languages. In: van Leeuwen, J. (ed.) ESA 1994. LNCS, vol.\u00a0855, pp. 460\u2013470. Springer, Heidelberg (1994)"},{"issue":"6","key":"22_CR15","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1016\/S0019-9958(68)90999-6","volume":"13","author":"C. Pair","year":"1968","unstructured":"Pair, C., Quere, A.: D\u00e9finition et \u00e9tude des bilangages r\u00e9guliers. Information and Control\u00a013(6), 565\u2013593 (1968)","journal-title":"Information and Control"},{"issue":"1","key":"22_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0019-9958(75)90058-3","volume":"21","author":"M. Takahashi","year":"1975","unstructured":"Takahashi, M.: Generalizations of regular sets and their application to a study of context-free languages. Information and Control\u00a021(1), 1\u201336 (1975)","journal-title":"Information and Control"},{"key":"22_CR17","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)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11924661_22.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_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540489375","9783540489382"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11924661_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}