792 search results - page 44 / 159 » Static Analysis of XSLT Programs |
104
Voted
ECOOP
2012
Springer
13 years 3 months ago
2012
Springer
Abstract. The Jetpack framework is Mozilla’s newly-introduced extension development technology. Motivated primarily by the need to improve how scriptable extensions (also called ...
75
Voted
FLOPS
2006
Springer
15 years 4 months ago
2006
Springer
We propose a new method to control memory resources by static analysis. For this, we introduce the notion of sup-interpretation which bounds from above the size of function outputs...
81
Voted
ICSE
2003
IEEE-ACM
16 years 25 days ago
2003
IEEE-ACM
Impact analysis, determining when a change in one part of a program affects other parts of the program, is timeconsuming and problematic. Impact analysis is rarely used to predict...
84
Voted
IWPC
2006
IEEE
15 years 6 months ago
2006
IEEE
Analysis of dynamic data structure usage is useful for both program understanding and for improving the accuracy of other program analyses. Static analysis techniques, however, su...
135
click to vote
PASTE
1998
ACM
15 years 4 months ago
1998
ACM
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...