{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:00:11Z","timestamp":1743123611818,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662466742"},{"type":"electronic","value":"9783662466759"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46675-9_3","type":"book-chapter","created":{"date-parts":[[2015,3,31]],"date-time":"2015-03-31T16:24:38Z","timestamp":1427819078000},"page":"35-50","source":"Crossref","is-referenced-by-count":2,"title":["Composing Message Translators and Inferring Their Data Types Using Tree Automata"],"prefix":"10.1007","author":[{"given":"Emil","family":"Andriescu","sequence":"first","affiliation":[]},{"given":"Thierry","family":"Martinez","sequence":"additional","affiliation":[]},{"given":"Val\u00e9rie","family":"Issarny","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Basten, H.: Ambiguity detection methods for context-free grammars. Master\u2019s thesis, Universiteit van Amsterdam (2007)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Benzaken, V., Castagna, G., Frisch, A.: Cduce: An xml-centric general-purpose language. In: Proc. of ACM SIGPLAN ICFP 2003 (2003)","DOI":"10.1145\/944705.944711"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1007\/978-3-642-25821-3_21","volume-title":"Middleware 2011","author":"G.S. Blair","year":"2011","unstructured":"Blair, G.S., Bennaceur, A., Georgantas, N., Grace, P., Issarny, V., Nundloll, V., Paolucci, M.: The role of ontologies in emergent middleware: Supporting interoperability in complex distributed systems. In: Kon, F., Kermarrec, A.-M. (eds.) Middleware 2011. LNCS, vol.\u00a07049, pp. 410\u2013430. Springer, Heidelberg (2011)"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Matthes, F., Abadi, M.: Extensible grammars for language specialization. In: DBPL (1994)","DOI":"10.1007\/978-1-4471-3564-7_2"},{"key":"3_CR5","unstructured":"Castagna, G., Im, H., Nguyen, K., Benzaken, V.: A core calculus for XQuery 3.0 (2013), \n                      \n                        http:\/\/www.pps.univ-paris-diderot.fr\/~gc\/papers\/xqueryduce.pdf"},{"key":"3_CR6","unstructured":"Chappell, D.: Enterprise service bus. O\u2019reilly Media (2004)"},{"key":"3_CR7","unstructured":"Comon, H., Dauchet, M., Gilleron, R., L\u00f6ding, C., Jacquemard, F., Lugiez, D., Tison, S., Tommasi, M.: Tree Automata Techniques and Applications (2007), \n                      \n                        http:\/\/tata.gforge.inria.fr\/\n                      \n                      \n                     (release October 12, 2007)"},{"key":"3_CR8","unstructured":"DeRose, S., Clark, J.: XML Path Language (XPath) Version 1.0. W3C recommendation, W3C (1999)"},{"key":"3_CR9","unstructured":"Gallaher, M., O\u2019Connor, A., Dettbarn, J., Gilday, L.: Cost Analysis of Inadequate Interoperability in the U.S. Capital Facilities Industry. U.S. Department of Commerce, Technology Administration, NIST (2004)"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/BFb0026683","volume-title":"Machine Learning: ECML-98","author":"T. Joachims","year":"1998","unstructured":"Joachims, T.: Text categorization with suport vector machines: Learning with many relevant features. In: N\u00e9dellec, C., Rouveirol, C. (eds.) ECML 1998. LNCS, vol.\u00a01398, pp. 137\u2013142. Springer, Heidelberg (1998)"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1007\/978-3-642-19835-9_18","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M. Merten","year":"2011","unstructured":"Merten, M., Steffen, B., Howar, F., Margaria, T.: Next Generation LearnLib. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol.\u00a06605, pp. 220\u2013223. Springer, Heidelberg (2011)"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Milo, T., Suciu, D.: Type inference for queries on semistructured data. In: PODS (1999)","DOI":"10.1145\/303976.303998"},{"key":"3_CR13","unstructured":"Moors, A., Piessens, F., Odersky, M.: Parser combinators in Scala. KU Leuven, CW Reports vol:CW491 (2008)"},{"key":"3_CR14","unstructured":"Murata, M.: Hedge automata: a formal model for XML schemata (1999), \n                      \n                        http:\/\/www.xml.gr.jp\/relax\/hedge_nice.html"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Murata, M., Lee, D., Mani, M., Kawaguchi, K.: Taxonomy of XML schema languages using formal language theory. In: ACM TOIT (2005)","DOI":"10.1145\/1111627.1111631"},{"key":"3_CR16","unstructured":"Narayanan, V.: Why I quit writing internet standards (2014), \n                      \n                        http:\/\/gigaom.com\/2014\/04\/12\/why-i-quit-writing-internet-standards\/"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Papakonstantinou, Y., Vianu, V.: DTD Inference for Views of XML Data. In: PODS (2000)","DOI":"10.1145\/335168.335173"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Schwentick, T.: Automata for XML\u2014A Survey. JCSS (2007)","DOI":"10.1016\/j.jcss.2006.10.003"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Schwerdfeger, A.C., Van Wyk, E.R.: Verifiable Composition of Deterministic Grammars. In: PLDI (2009)","DOI":"10.1145\/1542476.1542499"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Schwerdfeger, A.C., Van Wyk, E.R.: Verifiable Parse Table Composition for Deterministic Parsing. In: SLE (2010)","DOI":"10.1007\/978-3-642-12107-4_15"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Shaw, M.: Architectural issues in software reuse: It\u2019s not just the functionality, it\u2019s the packaging. ACM SIGSOFT Software Engineering Notes (1995)","DOI":"10.1145\/211782.211783"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Swierstra, S.D.: Combinator parsers - from toys to tools. ENTCS\u00a041 (2000)","DOI":"10.1016\/S1571-0661(05)80545-6"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Tozawa, A.: Towards Static Type Checking for XSLT. In: ACM DocEng (2001)","DOI":"10.1145\/502188.502191"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46675-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T14:17:11Z","timestamp":1559139431000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-46675-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662466742","9783662466759"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46675-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}