Parser

[Helene.Kirchner@loria.fr]

As announced in the previous CoFI-Tools Minutes, another parser for CASL 
is available.

The author of the parser is Bastian Kleineidam (calvin@mpi-sb.mpg.de),
a student of Hubert Baumeister.

The parser is a Java program built with JDK 1.1.x, Pizza and JavaCC. To
use it, you need JDK 1.1.x and JavaCC (Pizza comes with the distribution
of the parser)

The parser implements v0.99 of the CASL concrete syntax specification.
However, it does not generate correct syntax trees for mix-fix terms,
though it accepts them.

The parser internally generates an abstract syntax tree. This abstract
syntax tree can be pretty printed using the Visitor pattern. Two pretty
printer are provided. One that generates ATerms as output and one that
generates concrete syntax.

The current parser produces first the ATerms and then the concrete
syntax, but this is easy to change.

It is available for experiments and improvements at URL
                http://www.mpi-sb.mpg.de/~calvin

The work on the parser will be discontinued, because Hubert has changed
affiliation and moved from the Max Planck Institut in Saarbr"ucken to
the Ludwig-Maximilians-University in Munich.

The parser comes with full sources and anybody is welcome to improve the
parser further.

Helene

PS: Hubert's new affiliation 
-- 
           Hubert Baumeister
           LMU M"unchen, Institut f"ur Informatik, Oettingenstr. 67
    Phone: (x49-89)2178-2177  Fax: -2152 or -2175
   e-mail: baumeist@informatik.uni-muenchen.de
      WWW: http://www.pst.informatik.uni-muenchen.de/personen/baumeist