Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

70

Voted

SIGMOD
2002
ACM

78views Database» more SIGMOD 2002»

The XML Typechecking Problem

16 years 2 months ago

The XML Typechecking Problem

Download www.pps.jussieu.fr

Dan Suciu

Real-time Traffic

Database | SIGMOD 2002 | XML Typechecking Problem |

claim paper

Related Content

» Frontiers of Tractability for Typechecking Simple XML Transformations

» On Typechecking TopDown XML Tranformations Fixed Input or Output Schemas

» Typechecking TopDown Uniform Unranked Tree Transducers

» Rewritebased verification of XML updates

» XML transformation by treewalking transducers with invisible pebbles

» Visibly pushdown automata for streaming XML

» XML with Data Values Typechecking Revisited

» Undecidability of TypeChecking in DomainFree Typed LambdaCalculi with Existence

» Exact XML Type Checking in Polynomial Time

Post Info
More Details (n/a)

Added	08 Dec 2009
Updated	08 Dec 2009
Type	Conference
Year	2002
Where	SIGMOD
Authors	Dan Suciu

Comments (0)