Using Eclipse to demonstrate positive static assurance of Java program concurrency design intent.

Aaron Greenhouse, Timothy J. Halloran, William L. Scherlis

Browse the full OOPSLA paper archive.