238 search results - page 26 / 48 » The RoadRunner dynamic analysis framework for concurrent pro... |
138
Voted
VEE
2005
ACM
15 years 6 months ago
2005
ACM
In object-oriented programming languages, an object is said to escape the method or thread in which it was created if it can also be accessed by other methods or threads. Knowing ...
130
click to vote
ICLP
1992
Springer
15 years 4 months ago
1992
Springer
We discuss a declarative characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by e...
120
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. Two common kinds of concurrency errors are data races and atomicity violation...
84
Voted
OOPSLA
1999
Springer
15 years 4 months ago
1999
Springer
Java programs perform many synchronization operations on data structures. Some of these synchronizations are unnecessary; in particular, if an object is reachable only by a single ...
128
click to vote
PPOPP
2011
ACM
14 years 3 months ago
2011
ACM
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...