792 search results - page 121 / 159 » Static Analysis of XSLT Programs |
140
click to vote
PPOPP
2011
ACM
14 years 5 months ago
2011
ACM
Developing parallel software using current tools can be challenging. Even experts find it difficult to reason about the use of locks and often accidentally introduce race condit...
126
Voted
SIGSOFT
2010
ACM
15 years 14 days ago
2010
ACM
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it log...
103
Voted
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
Modern enterprise systems support Role-Based Access Control (RBAC). Although RBAC allows restricting access to privileged operations, a deployer may actually intend to restrict ac...
120
Voted
CSMR
2007
IEEE
15 years 9 months ago
2007
IEEE
Many of the existing techniques for impact set computation in change propagation and regression testing are approximate for the sake of efficiency. A way to improve precision is ...
115
Voted
IEEEPACT
2006
IEEE
15 years 8 months ago
2006
IEEE
Static Single Assignment (SSA) has become the intermediate program representation of choice in most modern compilers because it enables efficient data flow analysis of scalars an...