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
[ANN] Ochra - Reference Attributed Grammars in OCaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-11-02 (08:59)
From: Martin Sandin <om_sandin@y...>
Subject: [ANN] Ochra - Reference Attributed Grammars in OCaml
I'm pleased to announce that the first release of
Ochra, v0.1, is now available. The release and
information is available at:


Ochra is a syntax extension for OCaml, extending the
language with explicit support for programming using
an Object-Oriented Reference Attributed Grammar (RAG)
formalism. The primary intended use is for compiler
construction. It introduces a new kind of classes,
called productions, which support a number of extra
features for specifying AG node children and
attributes. Ochra is modeled on JastAdd, a compiler
construction tool which extends Java. Ochra is however
a less intrusive addition than JastAdd, which along
with RAG support also introduces Aspect Orientation in
Java. Ochra instead relies on the more powerful
modularization mechanisms of OCaml (multiple
inheritance, structural subtyping, parametrized types
and modules, ...), compared to Java, to provide the
same level of modularity.

JastAdd has been used to construct, among other
things, a Java compiler and is used in compiler
classes at Lund Institute of Technology.

Comments are ofcourse appreciated:)

Ochra is released under the LGPL license with the same
exceptions as for the OCaml libraries.

Martin Sandin

Do you Yahoo!? 
Check out the new Yahoo! Front Page.