792 search results - page 89 / 159 » Static Analysis of XSLT Programs |
163
Voted
IEEEPACT
2005
IEEE
15 years 8 months ago
2005
IEEE
Feedback-directed Optimization has become an increasingly important tool in designing and building optimizing compilers as itprovides a means to analyze complexprogram behavior th...
122
Voted
ECOOP
2004
Springer
15 years 8 months ago
2004
Springer
Many compiler optimizations and software engineering tools need precise pointer analyses to be effective. Unfortunately, many Java features, such as dynamic class loading, refle...
132
Voted
AICCSA
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
136
click to vote
ACSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
We have implemented an information flow framework for the Java Virtual Machine that combines static and dynamic techniques to capture not only explicit flows, but also implicit ...
109
Voted
ECR
2006
15 years 3 months ago
2006
Within the software industry software piracy is a great concern. In this article we address this issue through a prevention technique called software watermarking. Depending on ho...