Sciweavers

80 search results - page 1 / 16
» Static analysis of active XML systems
Sort
View
PODS
2008
ACM
110views Database» more  PODS 2008»
14 years 4 months ago
Static analysis of active XML systems
Active XML is a high-level specification language tailored to dataintensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. ...
Serge Abiteboul, Luc Segoufin, Victor Vianu
XSYM
2004
Springer
89views Database» more  XSYM 2004»
13 years 10 months ago
A Runtime System for XML Transformations in Java
We show that it is possible to extend a general-purpose programming language with a convenient high-level data-type for manipulating XML documents while permitting (1) precise stat...
Aske Simon Christensen, Christian Kirkegaard, Ande...
ADC
2004
Springer
97views Database» more  ADC 2004»
13 years 10 months ago
Static Analysis of XSLT Programs
XML is becoming the dominant standard for representing and exchanging data on the World Wide Web. The ability to transform and present data in XML is crucial and XSLT (Extensible ...
Ce Dong, James Bailey
JFP
2006
80views more  JFP 2006»
13 years 4 months ago
Static analysis for path correctness of XML queries
A part of a query that will never contribute data to the query answer should be regarded as an error. This principle has been recently accepted into mainstream XML query languages...
Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo...