The following pages link to Database Theory - ICDT 2005 (Q5316601):
Displaying 6 items.
- XML graphs in program analysis (Q532414) (← links)
- Frontiers of tractability for typechecking simple XML transformations (Q878753) (← links)
- Typechecking top-down XML transformations: Fixed input or output schemas (Q937295) (← links)
- Typechecking for XML transformers (Q1394797) (← links)
- Backward type inference for XML queries (Q2182320) (← links)
- XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles (Q2216430) (← links)