| Directory > Computers > Programming > Languages > Java > Extensions Nextgen
An extension of Java and GJ to support polymophic methods while perserving static type information
(no erasure). For research purposes.
http://www.cs.rice.edu/~javaplt/nextgen/doc/
Reviews Rating: Not yet Rated
Whois Check
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]
http://pizzacompiler.sourceforge.net/
Reviews Rating: Not yet Rated
Whois Check
JMangler
A framework for load-time transformation of Java programs. [Open Source, LGPL]
http://javalab.cs.uni-bonn.de/research/jmangler/
Reviews Rating: Not yet Rated
Whois Check
GJ: Generic Java
Support for generics. Superset of the Java programming language. Compatible with existing
libraries. [Freeware]
http://www.cis.unisa.edu.au/~pizza/gj/
Reviews Rating: Not yet Rated
Whois Check
Borneo
Modification of the Java language designed to have true support for the IEEE 754 floating point
standard.
http://www.sonic.net/~jddarcy/Borneo/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.csg.is.titech.ac.jp/openjava/
Reviews Rating: Not yet Rated
Whois Check
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]
http://jcontractor.sourceforge.net/
Reviews Rating: Not yet Rated
Whois Check
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]
http://www.csg.is.titech.ac.jp/~chiba/javassist/
Reviews Rating: Not yet Rated
Whois Check
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]
http://semantik.Informatik.Uni-Oldenburg.DE/~jass/
Reviews Rating: Not yet Rated
Whois Check
PJama
A Glasgow University / Sun research project to extend Java at the Virtual Machine level to provide
orthogonal persistence. Free preliminary implementation available.
http://www.dcs.gla.ac.uk/pjava/
Reviews Rating: Not yet Rated
Whois Check
iContract
Provides Java support for Design by Contract from Bertrand Meyer, and Eiffel. Preprocessor supports
class invariants, method pre- and post-conditions, asserts. [Freeware]
http://www.reliable-systems.com/tools/iContract/iContract.htm
Reviews Rating: Not yet Rated
Whois Check
Bali
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.
http://www.mindprod.com/bali.html
Reviews Rating: Not yet Rated
Whois Check
Ptolemy II
Set of Java packages supporting heterogeneous, concurrent modeling and design. [Open Source, BDL]
http://ptolemy.eecs.berkeley.edu/ptolemyII/index.htm
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.publicstaticvoidmain.com/
Reviews Rating: Not yet Rated
Whois Check
The Java Modeling Language (JML)
A behavioral interface specification language that can be used to specify the behavior of Java
modules.
http://www.cs.iastate.edu/%7Eleavens/JML/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.emn.fr/x-info/sudholt/research/metaj/
Reviews Rating: Not yet Rated
Whois Check
JaWA
Java With Assertions, an extension of Java by assertions, a concept borrowed from Bertrand Meyer,
and Eiffel. Still available, superseded by Jass.
http://theoretica.informatik.uni-oldenburg.de/~jawa/
Reviews Rating: Not yet Rated
Whois Check
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]
http://forestro.com/kiev/
Reviews Rating: Not yet Rated
Whois Check
JWIG
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.
http://www.brics.dk/JWIG/
Reviews Rating: Not yet Rated
Whois Check
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]
http://www.pmg.lcs.mit.edu/polyj/
Reviews Rating: Not yet Rated
Whois Check
|
