English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
fjavac - a functional java compiler
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-12-24 (04:37)
From: Stephen Tse <stse@c...>
Subject: fjavac - a functional java compiler
We would like to announce our project written in OCaml: "fjavac" - a
functional Java 5 compiler.

Currently the compiler can parse and pretty-print all JDK 1.5 files.
Our abstract syntax trees has been carefully designed for easy of use.
Hopefully other people find our project useful for Java language
extensions or program analyzes.

Our parser is based on GLR (Generalized LR) parsing, making it very
easy to extend the language syntax without worrying about shift/reduce
conflicts in LR/LALR parsing.

Basic type checking and bytecode compilation have been implemented,
but are still under testing. Type checking and type inference for
generics have not been implemented yet. Our long term research goal is
to produce a complete and formal specification of Java compilation
(using Twelf, a logical framework).