Projects / JavaFE


JavaFE is a Java front-end that parses Java 1.4 source code and Java 1.5 bytecode. It is used as a compiler front-end for several research tools, including ESC/Java2 and RCC. JavaFE has a partial formal specification and, because it is a hand-written lexer, parser, and type checker, is very efficient.

Operating Systems

Recent releases

  •  26 Apr 2010 13:18

    Release Notes: This source and binary release brings it up to date with respect to the latest releases of the JavaFE and ESC/Java2 Eclipse plug-ins.

    •  07 Dec 2007 16:05

      Release Notes: AST Vector and Test classes are now included in the Javafe library. Binary executables for the ASTGEN and ASTFILELIST tools have been prebuilt for MacOS X and Linux.

      •  23 Nov 2007 15:54

        No changes have been submitted for this release.


        Project Spotlight


        A Fluent OpenStack client API for Java.


        Project Spotlight

        TurnKey TWiki Appliance

        A TWiki appliance that is easy to use and lightweight.