Extensions

Media publications

• Parameterized Types for Java - Technical paper reviewing PolyJ, an extension to Java allowing parameterized types. (Published 1997.01.01)

	Javassist URL: http://www.csg.is.titech.ac.jp/~chiba/javassist/ ODP description: 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]
	The Java Modeling Language (JML) URL: http://www.cs.iastate.edu/~leavens/JML/ ODP description: A behavioral interface specification language that can be used to specify the behavior of Java modules. Page title: The Java Modeling Language (JML) Home Page Page description: The Java Modeling Language, JML, a design by contract (DBC) specification language for Java
	Pizza URL: http://pizzacompiler.sourceforge.net/ ODP description: 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] Page title: The Pizza Compiler, an Open Source compiler for a Java superset Page description: Pizza compiler, the Open Source compiler for a Java superset
	jContractor URL: http://jcontractor.sourceforge.net/ ODP description: 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] Page title: jContractor: Design by Contract for Java Page description: Home page for jContractor, an open source tool to support Design by Contract for Java
	OpenJava URL: http://www.csg.is.titech.ac.jp/openjava/ ODP description: Extensible language based on Java. A Metaobject Protocol (MOP) is the extension interface; lets programmers customize language to implement new language features, mechanisms. Page title: OpenJava : An Extensible Java
	JMangler URL: http://roots.iai.uni-bonn.de/research/jmangler/ ODP description: A framework for load-time transformation of Java programs. [Open Source, LGPL] Page title: The JMangler Project
	Ptolemy II URL: http://ptolemy.eecs.berkeley.edu/ptolemyII/index.htm ODP description: Set of Java packages supporting heterogeneous, concurrent modeling and design. [Open Source, BDL]
	Jass URL: http://csd.informatik.uni-oldenburg.de/~jass/ ODP description: 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] Page title: Jass - Homepage
	JWIG URL: http://www.brics.dk/JWIG/ ODP description: 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. Page title: JWIG - Java Extensions for High-Level Web Service Development
	Nextgen URL: http://japan.cs.rice.edu/nextgen/ ODP description: An extension of Java and GJ to support polymophic methods while perserving static type information (no erasure). For research purposes. Page title: Project NextGen
	GJ: Generic Java URL: http://www.cis.unisa.edu.au/~pizza/gj/ ODP description: Support for generics. Superset of the Java programming language. Compatible with existing libraries. [Freeware] Page title: School of Computer & Information Science - University of South Australia Page description: Information about the School of Computer & Information Science, Adelaide Australia - part of the Univeristy of South Australia
	PolyJ URL: http://www.pmg.lcs.mit.edu/polyj/ ODP description: 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]
	Borneo URL: http://www.sonic.net/~jddarcy/Borneo/ ODP description: Modification of the Java language designed to have true support for the IEEE 754 floating point standard. Page title: Borneo Language Homepage Page description: Homepage for Borneo, a language design extending Java to have full support for the IEEE 754 floating point standard.
	JJ URL: http://www.publicstaticvoidmain.com/ ODP description: 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. Page title: JJ Home Page
	Bali URL: http://www.mindprod.com/jgloss/bali.html ODP description: 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. Page title: Bali : Java Glossary Page description: Roedy Green’s Java & Internet Glossary : Bali
	MetaJ URL: http://www.emn.fr/x-info/sudholt/research/metaj/ ODP description: 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. Page title: MetaJ: generic protocol-based OO metaprogramming
	JavaParty URL: http://svn.ipd.uni-karlsruhe.de/trac/javaparty/ ODP description: 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. Page title: JavaParty - Java's Companion for Distributed Computing - Trac