- Bali - Java with a Spoonful of Syntactic Sugar: Proposed set of additions to Java to make it 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.
www.mindprod.com/bali.html
- Borneo - Modification of the Java language designed to have true support for the IEEE 754 floating point standard.
www.cs.berkeley.edu/~darcy/Borneo
- Brando - Java language extension, based on peer-to-peer (P2P) model where source code files can be shared among programmers: easy access to other source code through an integrated peer-to-peer code sharing network.
www.brando.com
- GJ: Generic Java - Support for generics. Superset of the Java programming language. Compatible with existing libraries. [Freeware]
www.cis.unisa.edu.au/~pizza/gj
- iContract - Provides Java support for Design by Contract from Bertrand Meyer, and Eiffel. Preprocessor supports class invariants, method pre- and post-conditions, asserts. [Freeware]
www.reliable-systems.com/tools/iContract/iContract.htm
- Jass - Java with assertions, spoken: jazz, like the music. Improvement of JaWA language extension. Gives Java the concepts of Design by Contract from Bertrand Meyer, and Eiffel, and extends them with new features. [Open Source, GPL]
semantik.Informatik.Uni-Oldenburg.DE/~jass
- Javassist - Supports load-time and runtime behavioural reflection in Java by allowing classes to be modified by Java code as they are loaded in. [Freeware, source available]
www.csg.is.titech.ac.jp/~chiba/javassist
- JaWA - Java With Assertions, an extension of Java by assertions, a concept borrowed from from Bertrand Meyer, and Eiffel. Still available, superseded by Jass.
theoretica.informatik.uni-oldenburg.de/~jawa
- jContractor - 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]
jcontractor.sourceforge.net
- JJ - Simplified subset of Java (supersedes Jr), and online environment for learning programming: simple, made for beginners, includes assertions and Design by Contract from Bertrand Meyer and Eiffel; class tested over 2 years, free accounts available.
www.publicstaticvoidmain.com
- JMangler - A framework for load-time transformation of Java programs. [Open Source, LGPL]
javalab.cs.uni-bonn.de/research/jmangler
- JWIG - Java Extensions for High-Level Web Service Development - A Java-based high-level language for development of interactive Web services.
www.brics.dk/JWIG
- Kiev - Prolog-like engine, multimethods, parameterized types (derived from Pizza), closures (derived from Pizza), arithmetic types, type states and cases (derived from Pizza), 'foreach' statement, global method and variable definitions, virtual fields, variable number of arguments of methods, project, incremental compiling. [Open Source, GPL]
forestro.com/kiev
- MetaJ - A generic protocol-based self-applicative interpreter for Java. Revolves around a generic reification procedure which can be used to reify any class of the interpreter.
www.emn.fr/sudholt/research/metaj
- OpenJava - Extensible language based on Java. OpenJava MOP (Metaobject Protocol) is the extension interface of the language. Via the MOP, programmers can customize the language to implement new language mechanisms.
www.hlla.is.tsukuba.ac.jp/~mich/openjava
- Pizza - 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]
pizzacompiler.sourceforge.net
- PJama - A Glasgow University / Sun research project to extend Java at the Virtual Machine level to provide orthogonal persistence. Free preliminary implementation available.
www.dcs.gla.ac.uk/pjava
- PolyJ - 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]
www.pmg.lcs.mit.edu/polyj
- Ptolemy II - Set of Java packages supporting heterogeneous, concurrent modeling and design. [Open Source, BDL]
ptolemy.eecs.berkeley.edu/ptolemyII/index.htm
- The Java Modeling Language (JML) - A behavioral interface specification language that can be used to specify the behavior of Java modules.
www.cs.iastate.edu/%7Eleavens/JML
|
