Boolean operations and inclusion test for attribute-element constraints (2003)

Cached

Download Links

by Haruo Hosoya
Venue:In Eighth International Conference on Implementation and Application of Automata
Citations:13 - 3 self

Active Bibliography

Validation and Boolean operations for Attribute-Element Constraints – unknown authors
146 XDuce: A Statically Typed XML Processing Language – Haruo Hosoya, Benjamin C. Pierce - 2002
177 Regular Expression Types for XML – Haruo Hosoya, Jérôme Vouillon, Benjamin C. Pierce - 2003
189 Taxonomy of xml schema languages using formal language theory – Makoto Murata, Dongwon Lee, Murali Mani - 2001
111 Regular expression pattern matching for XML – Haruo Hosoya, Benjamin C. Pierce - 2003
25 Parametric polymorphism for XML – Haruo Hosoya, Alain Frisch, École Normale, Supérieure Paris - 2005
13 Regular Expression Pattern Matching - A Simpler Design – Haruo Hosoya - 2003
34 The Design Space of Type Checkers for XML Transformation Languages – Anders Møller, Michael I. Schwartzbach - 2004
1 XML Typechecking – Véronique Benzaken, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren, et al.
6 XML Type Checking Using High-Level Tree Transducer – Akihiko Tozawa - 2006
8 Typed Iterators for XML – Giuseppe Castagna , Kim Nguyen
1 Validation algorithm for attribute-element constraints of RELAX NG – Montréal Québec, Makoto Murata, Haruo Hosoya - 2003
22 Regular expression types for strings in a text processing language – Naoshi Tabuchi, Eijiro Sumii, Akinori Yonezawa - 2002
The University of Tokyo- Japan – Haruo Hosoya, Alain Frisch, Lexifi France, Giuseppe Castagna
27 The Xtatic experience – Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt - 2005
5 Error mining for regular expression patterns – Dario Colazzo, Alain Frisch - 2005
12 Towards practical typechecking for macro tree transducers – Alain Frisch, Haruo Hosoya - 2007
3 XML: From practice to theory – Victor Vianu - 2003
73 A Web Odyssey: from Codd to XML – Victor Vianu - 2001