Java with a spoonful of syntactic sugar: proposed set of additions to make Java terser and safer. Terseness makes languages easier to read, write, maintain. Ideas from Abundance (Byte Magazine Oct 1986), Eiffel, Pascal, Delphi, Smalltalk, PL/I, Algol-68, Forth, even COBOL.

Modification of the Java language designed to have true support for the IEEE 754 floating point standard.

A behavioral interface specification language that can be used to specify the behavior of Java modules.

A minimal extension to Java easing distributed parallel programming of cluster computers. A source code transformation automatically generates a distributed pure Java program based on RMI or KaRMI.

Supports Design By Contract in Java. Discovers "contracts" during class loading and instruments the class bytecodes on-the-fly to check run-time contract violations. [Apache Open Source Licence]

Java extensions for high-level Web service development; Java-based high-level language to develop interactive Web services; merges main features of <bigwig> language into Java by providing explicit support for Web service sessions, safe XHTML dynamic document building.

A variant of Java that adds parametric polymorphism, first-class functions, and class cases and pattern matching to the language. The compiler compiles into Java byte code so the binaries can be run on a normal JVM. [Freeware]

Java with support for generic programming in the form of parameterized types. Provides constrained parametric polymorphism, with advantages over some other proposals for adding genericity to Java. [Open Source, GPL]

Set of Java packages supporting heterogeneous, concurrent modeling and design. [Open Source, BDL]

Technical paper reviewing PolyJ, an extension to Java allowing parameterized types. (January 01, 1997)