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

more »

... tions and pointing out remaining weaknesses. THE JAC SYSTEM: MINIMIZING THE DIFFERNECES BETWEEN CONCURRENT AND SE-QUENTIAL JAVA CODE 44 J OURNAL OF OBJECT TECHNOLOGY V OL. 5, NO. 7 THE JAC SYSTEM: MINIMIZING THE DIFFERNECES BETWEEN CONCURRENT AND SE-QUENTIAL JAVA CODE 46 J OURNAL OF OBJECT TECHNOLOGY V OL. 5, NO. 7 56 J OURNAL OF OBJECT TECHNOLOGY