792 search results - page 13 / 159 » Static Analysis of XSLT Programs |
77
Voted
PASTE
2004
ACM
15 years 5 months ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
93
Voted
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
Parallel programs are known to be difficult to analyze. A key reason is that they typically have an enormous number of execution interleavings, or schedules. Static analysis over...
ESOP
2004
Springer
15 years 5 months ago
2004
Springer
We present an Abstract Interpretation-based framework for automatically analyzing programs containing digital filters. Our framework allows refining existing analyses so that the...
84
Voted
DOCENG
2009
ACM
15 years 6 months ago
2009
ACM
: © Automated Extensible XML Tree Diagrams John Lumley HP Laboratories HPL-2009-137 XSLT, SVG, XML trees, Functional programming XML is a tree-oriented meta-language and visual de...
85
Voted
DOCENG
2004
ACM
15 years 5 months ago
2004
ACM
XPath [16] was introduced by the W3C as a standard language for specifying node selection, matching conditions, and for computing values from an XML document. XPath is now used in...