127 search results - page 26 / 26 » A Formal Object-Oriented Analysis for Software Reliability: ... |
ISSTA
2010
ACM
13 years 9 months ago
2010
ACM
Program control dependence has substantial impact on applications such as dynamic information flow tracking and data lineage tracing (a technique tracking the set of inputs that ...
OOPSLA
2004
Springer
13 years 10 months ago
2004
Springer
A proxy object is a surrogate or placeholder that controls access to another target object. Proxies can be used to support distributed programming, lazy or parallel evaluation, ac...