792 search results - page 52 / 159 » Static Analysis of XSLT Programs |
96
Voted
CASES
2009
ACM
15 years 7 months ago
2009
ACM
Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to dete...
102
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
Modern programs frequently employ sophisticated modular designs. As a result, performance problems cannot be identified from costs attributed to routines in isolation; understand...
110
click to vote
AGP
1995
IEEE
15 years 4 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
ENTCS
2006
15 years 23 days ago
2006
This paper reports on the development of specific slicing techniques for functional programs and their use for the identification of possible coherent components from monolithic c...
106
click to vote
PLDI
2012
ACM
13 years 3 months ago
2012
ACM
JavaScript performance is often bound by its dynamically typed nature. Compilers do not have access to static type information, making generation of efficient, type-specialized m...