From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id E4BBCBC29 for ; Tue, 2 Nov 2004 09:59:58 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id iA28xwYZ011289 for ; Tue, 2 Nov 2004 09:59:58 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA07082 for ; Tue, 2 Nov 2004 09:59:58 +0100 (MET) Received: from web50903.mail.yahoo.com (web50903.mail.yahoo.com [206.190.38.123]) by concorde.inria.fr (8.13.0/8.13.0) with SMTP id iA28xvBW011282 for ; Tue, 2 Nov 2004 09:59:57 +0100 Message-ID: <20041102085956.35130.qmail@web50903.mail.yahoo.com> Received: from [62.127.47.125] by web50903.mail.yahoo.com via HTTP; Tue, 02 Nov 2004 00:59:56 PST Date: Tue, 2 Nov 2004 00:59:56 -0800 (PST) From: Martin Sandin Subject: [ANN] Ochra - Reference Attributed Grammars in OCaml To: caml-list@inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Miltered: at concorde with ID 41874C8E.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 41874C8D.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; attributed:01 grammars:01 ocaml:01 syntax:01 ocaml:01 attributed:01 grammar:01 compiler:01 compiler:01 subtyping:01 parametrized:01 lgpl:01 ...:98 node:01 exceptions:01 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.0 X-Spam-Level: I'm pleased to announce that the first release of Ochra, v0.1, is now available. The release and information is available at: http://www.guldheden.com/~sandin/ochra 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 om_sandin@yahoo.com __________________________________ Do you Yahoo!? Check out the new Yahoo! Front Page. www.yahoo.com