220 search results - page 16 / 44 » Regular expression types for XML |
119
click to vote
ICDT
2007
ACM
15 years 9 months ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....
134
click to vote
APLAS
2006
ACM
15 years 9 months ago
2006
ACM
String expression analysis conservatively approximates the possible string values generated by a program. We consider the validation of a context-free grammar obtained by the analy...
134
click to vote
DATESO
2007
15 years 4 months ago
2007
We address a problem of updating XML documents having their XML schema described by a Document Type Definition (DTD) without breaking their validity. We present a way how to expre...
130
click to vote
DATESO
2009
15 years 28 days ago
2009
In recent years, many approaches to XML twig pattern query (TPQ) processing have been developed. Some algorithms are supported by a stream abstract data type. s an abstract data ty...
135
click to vote
BPSC
2007
15 years 4 months ago
2007
Originally XML was used as a standard protocol for data exchange in computing. The evolution of information technology has opened up new situations in which XML can be used to aut...