Sponsored Links
Advanced Computer Science
UAT: Bachelor Computer Science Learn, Experience, Innovate
www.uat.edu
Human Hair Extensions
50 Different Hair Extension Types! Over 5000 Hair Extensions Performed
www.nychairsalon.com
Human Hair Extensions
Do It Yourself, Clip-Ins Quick & Easy, 18" long and 9 shades
clipinsbycarol.com
Directory Sites
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
Java extensions for high-level Web service development; Java-based high-level language to develop interactive Web services; merges main features of
language into Java by providing explicit support for Web service sessions, safe XHTML dynamic document building. www.brics.dk
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
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
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
Set of Java packages supporting heterogeneous, concurrent modeling and design. [Open Source, BDL]
ptolemy.eecs.berkeley.edu
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
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
Extensible language based on Java. A Metaobject Protocol (MOP) is the extension interface; lets programmers customize language to implement new language features, mechanisms.
www.csg.is.titech.ac.jp
Modification of the Java language designed to have true support for the IEEE 754 floating point standard.
www.sonic.net
Support for generics. Superset of the Java programming language. Compatible with existing libraries. [Freeware]
www.cis.unisa.edu.au
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
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]
csd.informatik.uni-oldenburg.de
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.
www.mindprod.com
An extension of Java and GJ to support polymophic methods while perserving static type information (no erasure). For research purposes.
japan.cs.rice.edu