4725 search results - page 516 / 945 » Dependence-Based Program Analysis |
207
click to vote
ICS
1997
Tsinghua U.
15 years 11 months ago
1997
Tsinghua U.
Program slicing is an analysis that answers questions such as \Which statements might a ect the computation of variable v at statement s?" or \Which statements depend on the ...
182
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
190
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Exception handling mechanisms are intended to support the development of robust software. However, the implementation of such mechanisms with aspectoriented (AO) programming might ...
201
click to vote
EUROPAR
2008
Springer
15 years 8 months ago
2008
Springer
Developing a distributed application for mobile resource constrained devices is a difficult and error-prone task that requires awareness of several system-level details (e.g., faul...
206
click to vote
CATA
2003
15 years 8 months ago
2003
It is becoming more important to design systems capable of performing high-level management and control tasks in interactive dynamic environments. At the same time, it is difficul...