|
60
|
Regular Object Types
– Vladimir Gapeyev, Benjamin C. Pierce
- 2003
|
|
139
|
CDuce: An XML-Centric General-Purpose Language
– Véronique Benzaken, Giuseppe Castagna, Alain Frisch
- 2003
|
|
157
|
Regular Expression Types for XML
– Haruo Hosoya, Jérôme Vouillon, Benjamin C. Pierce
- 2003
|
|
127
|
XDuce: A Statically Typed XML Processing Language
– Haruo Hosoya, Benjamin C. Pierce
- 2002
|
|
19
|
Type-based optimization for regular patterns
– Michael Y. Levin, Benjamin C. Pierce
- 2005
|
|
32
|
The Design Space of Type Checkers for XML Transformation Languages
– Anders Møller, Michael I. Schwartzbach
- 2004
|
|
169
|
Taxonomy of xml schema languages using formal language theory
– Makoto Murata, Dongwon Lee, Murali Mani
- 2001
|
|
10
|
Logic-based XPath optimization
– Pierre Genevès, Jean-yves Vion-dury
- 2004
|
|
5
|
Extending pattern matching with regular tree expressions for XML processing
– B Emir
- 2003
|
|
8
|
On XML objects
– Martin Kempa, Volker Linnemann
- 2002
|
|
15
|
Compiling regular patterns
– M Y Levin
- 2003
|
|
11
|
A Runtime System for XML Transformations in Java
– Aske Simon Christensen , Christian Kirkegaard, Anders Møller
- 2003
|
|
21
|
Programming with circles, triangles and rectangles
– Erik Meijer, Wolfram Schulte, Gavin Bierman
- 2003
|
|
15
|
Regular expression pattern matching
– H Hosoya, B C Pierce
- 2003
|
|
47
|
Static Analysis of XML Transformations in Java
– Christian Kirkegaard, Anders Møller, Michael I. Schwartzbach
- 2003
|
|
44
|
The Relevance of Semantic Subtyping
– Mariangiola Dezani-ciancaglini, Alain Frisch, Elio Giovannetti, Yoko Motohama
- 2002
|
|
24
|
Unifying tables, objects and documents
– Erik Meijer, Wolfram Schulte, Gavin Bierman
- 2003
|
|
12
|
Boolean operations and inclusion test for attribute-element constraints
– Haruo Hosoya
- 2003
|
|
109
|
XPath: Looking Forward
– Dan Olteanu , Holger Meuss, Tim Furche, Francois Bry
- 2002
|
