792 search results - page 2 / 159 » Static Analysis of XSLT Programs |
146
Voted
ESOP
2003
Springer
15 years 4 months ago
2003
Springer
77
Voted
ICFP
2004
ACM
15 years 11 months ago
2004
ACM
112
click to vote
ADAEUROPE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
PEPM
2007
ACM
15 years 5 months ago
2007
ACM
XML graphs have shown to be a simple and effective formalism for representing sets of XML documents in program analysis. It has evolved through a six year period with variants tai...
CC
2002
Springer
14 years 11 months ago
2002
Springer
The purpose of this paper is to present four basic methods for ional separate modular static analysis of programs by abstract interpretation: simpli cation-based separate analysis;...