444 search results - page 32 / 89 » Declarative Concurrency in Java |
PDP
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper presents a programming language for parallel computing based on code annotations. It has similar goals and philosophy as OpenMP but it is more tightly coupled to the ob...
120
Voted
PLDI
2012
ACM
13 years 2 days ago
2012
ACM
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
CJ
2000
14 years 9 months ago
2000
In Java, an interface specifies public abstract methods and associated public constants. Conformance of a class to an interface is by name. We propose to allow structural conforma...
SAC
2010
ACM
15 years 4 months ago
2010
ACM
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identified as cross-cutting concerns [1...
CAV
2012
Springer
13 years 2 days ago
2012
Springer
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...