792 search results - page 1 / 159 » Static Analysis of XSLT Programs |
ADC
2004
Springer
13 years 10 months ago
2004
Springer
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 ...
ADBIS
2006
Springer
13 years 10 months ago
2006
Springer
The XSLT language is used to describe transformations of XML documents into other formats. The transformed XML documents conform to output schemas of the used XSLT stylesheet. Outp...
ISCI
2008
13 years 4 months ago
2008
The capabilities of XSLT processing are widely used to transform XML documents into target XML documents. These target XML documents conform to output schemas of the used XSLT styl...
CC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Xtatic is a lightweight extension of C offering native support for statically typed XML processing. XML trees are built-in values in Xtatic, and static analysis of the t...
ISSTA
2012
ACM
11 years 7 months ago
2012
ACM
We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent advances on sparse pointer analysis, Saber is the first to use a full-sparse va...