To reason about multithreaded programs, we introduce in this paper anassertional proof methodforJavaMT (“Multi-Threaded Java”), a small concurrent sublanguage of Java, coveringthe mentioned concurrency issues as well as the object-based core ofJava, i.e., object creation, side effects, and ...
This has generated considerable research in the area of parallel, distributed and multithreaded programming environments and tools for Java on distributed systems. In this report we first investigate the current projects in parallel and distributed Java. These projects ' main objective is to utilize ...