111
click to vote
ASIAN
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. We provide a formal definition of information flows in XML transformations and, more generally, in the presence of type driven computations and describe a sound technique...