D3 Java Eclipse Plugin

D3 is a data-centric concurrency control model for object-oriented programming languages. It has been prototyped in the Java language in the form of a plug-in for the Eclipse IDE. The plugin comprehends a source-to-source compiler that enforces the model’s typing rules, applies a deadlock prevention static analysis and generates Java code with calls to a thin Java runtime layer.