1023 search results - page 178 / 205 » A Formal Method for Program Slicing |
116
click to vote
OOPSLA
2004
Springer
15 years 6 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...
140
click to vote
ICSE
2010
IEEE-ACM
15 years 3 months ago
2010
IEEE-ACM
The feature list of modern IDEs is steadily growing and mastering these tools becomes more and more demanding, especially for novice programmers. Despite their remarkable capabili...
112
click to vote
ICDCS
2010
IEEE
15 years 1 months ago
2010
IEEE
—In this paper, we classify multitolerant systems, i.e., systems that tolerate multiple classes of faults and provide potentially different levels of tolerance to them in terms o...
117
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
110
click to vote
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
We present a new language feature, specified as an extension to Java. The feature is a form of dispatch which includes and subsumes multimethods (see for example [3]), but which ...