Top : Computers : Programming : Languages : Java :
Extensions
Categories
| Aspect-Oriented Bistro @ Class Libraries @ Java-COM |
Websites
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]
site exerpt
PolyJ Download the source code for PolyJ version 1.0.2 Download the precompiled Win32 version of PolyJ version 1.0.2 PolyJ is a portable compiler that accepts an extended version of the Java language. PolyJ 1.0.2 was released in July 2000; use the...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/
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/
Java With Assertions, an extension of Java by assertions, a concept borrowed from Bertrand Meyer, and Eiffel. Still available, superseded by Jass.
site exerpt
The JaWA Page Java with assertions is an extension of Java by assertions. This concept is taken from Eifel. It has been developed by Bertrand Meyer as part of the concept design by contract in order to develop correct software. For this purpose...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.
site exerpt
MetaJ: generic protocol-based OO metaprogramming O metaprogramming systems are ad hoc in the sense that they reify only a smaller-or-bigger subset of the underlying run-time system. This is in contrast to a basic premise of a general notion of computational reflection: the meta-level reifies the...A behavioral interface specification language that can be used to specify the behavior of Java modules.
site exerpt
The Java Modeling Language (JML) Home Page It combines the design by contract approach of Eiffel and the model-based specification approach of the Larch family of interface specification languages, with some elements of the refinement calculus. The draft paper Design by Contract with JML (by Gary T....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.
site exerpt
JJ Home Page D here and get online support from the JJ Dream Team EDUCATION School accounts available JJ.Caltech.edu Visit PSVM.org INDUSTRY Find out about company accounts,customized Java intro,and Java training Sponsored By and friends Teaching Java to Everybody...Set of Java packages supporting heterogeneous, concurrent modeling and design. [Open Source, BDL]
site exerpt
Ptolemy II This page uses frames, but your browser doesn't support them....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.
site exerpt
Document Moved The document you requested http mindprod.com/bali.html is now called http mindprod.com/jgloss/bali.html If you don't hit your browser's back button now, you should be taken there automatically in 8 seconds. You can go there manually by clicking the correct URL above....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/
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]
site exerpt
Javassist Javassist is a sub project of JBoss Javassist Welcome Javassist (Java Programming Assistant) makes Java bytecode manipulation simple. It is a class library for editing bytecodes in Java; it enables Java programs to define a new class at runtime and...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]
site exerpt
jContractor: Design by Contract for Java Contracts are written as methods that follow a simple naming convention. jContractor provides runtime contract checking by instrumenting the bytecode of classes that define contracts. jContractor can either add contract checking code to class files to be executed later, or...Modification of the Java language designed to have true support for the IEEE 754 floating point standard.
site exerpt
Borneo Language Homepage Borneo may be on the right track for Java Guy Steele New Models for Numerical Computing in the Java Programming Language Java Grande ISCOPE 2001 Conference, June 3, 2001 Borneo is a dialect of the Java language designed to have...Support for generics. Superset of the Java programming language. Compatible with existing libraries. [Freeware]
site exerpt
School of Computer Information Science University of South Australia Computer and information scienceComputing and MultimediaE-CommerceHonours ITNetworking and LogisticsSoftware EngineeringTransnational ProgramsWhyallaPostgraduate ProgramsScholarships, Awardsand PrizesScholarshipsPrizes and AwardsCareer resourcesResearchPublicationsAdvanced Computing Research CentreCooperative Research CentresResearch linksPhD StudentsResearch graduates testimonialsResearch ProgramsNews and eventsAlumniStaff AccessStudent Advisory CentreContact the schoolIndustry Affiliate ProgramIndustryOnlineDivision of ITEE home GJ...A framework for load-time transformation of Java programs. [Open Source, LGPL]
site exerpt
Untitled Document You can still visit the old site, but it will not be updated any more. We apologize for any inconvenience....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]
site exerpt
The Pizza Compiler, an Open Source compiler for a Java superset Pizza language is an extension to Java with three new features Generics (aka Parametric polymorphism Function pointers (aka First-class functions Class cases and pattern matching (aka Algebraic types) Furthermore you can use the Pizza compiler embedded into other applications. News...Open-source pure Java implementation of a strongly-typed Genetic Programming experimentation platform. Project home.
site exerpt
Groovy Home Groovy is an agile dynamic language for the Java 2 Platform that has many of the features that people like so much in languages like Python, Ruby and Smalltalk, making them available to Java developers using a Java-like syntax. Groovy...News and views about Java based programming languages.
http://www.tool4thejob.com/
An extension of Java and GJ to support polymophic methods while perserving static type information (no erasure). For research purposes.
site exerpt
NextGen Generic Java Compiler You will be automatically redirected in 3 seconds. The new URL is http japan.cs.rice.edu/nextgen...Provides meta-programming capabilities and advanced programming language features in Java.
site exerpt
Expired Domain Name The domain name configured to this hostname has expired. If this domain name belongs to you, please contact your registration service provider to renew your domain....