Ptolemy II
Set of Java packages supporting heterogeneous, concurrent modeling and design. [Open Source, BDL]
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]
Nextgen
An extension of Java and GJ to support polymophic methods while perserving static type information (no erasure). For research purposes.
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.
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]
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.
JMangler
A framework for load-time transformation of Java programs. [Open Source, LGPL]
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.
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]
JaWA
Java With Assertions, an extension of Java by assertions, a concept borrowed from Bertrand Meyer, and Eiffel. Still available, superseded by Jass.
[ 1 ] [ 2 ]
|
