JAC is a Java extension for high-level concurrent programming, meant to hide the notions of threads and synchronization statements from the programmer. Putting into practice the concept of concurrency annotations suggested for Eiffel some time ago, one of JAC's main assets is its support for minimizing the differences between concurrent and sequential implementations of objects and computations. The paper focuses on this aspect of JAC, presenting examples of successful applications of the annotations and pointing out remaining weaknesses.
['Klaus-Peter Löhr', 'Max Haustein']
The Jac System: Minimizing the Differences between Concurrent and Sequential Java Code.