Casl parser based on Asf+Sdf (forwarded from Mark van den Brand)

[Helene.Kirchner@loria.fr]

======================================
Casl parser based on Asf+Sdf available
======================================

As promised during the last CoFI Tools meeting, Mark van den Brand has
been working on the development of a standalone Casl parser.  This
parser is currently available via internet, see

http://adam.wins.uva.nl/~markvdb/cofi/casl.html

If you select the entry "Casl parser" you get a form, similar to the
one of Christophe Tronche and you can start developing Casl
specifications. The output is the abstract syntax tree in ATerm format
(CasFix), see the other entries on the webpage above concerning a
description of this mapping. The parser supports Casl1.0, except the
libraries.

This parser does not resolve mixfix terms, mixfix terms are parsed as
a flat list of terms.  In the next version of the parser the
occurrences of mixfix terms will be annotated.  Adding the resolving
of mixfix terms will be added next year.  The sources of the parser
and the mapping to the CasFix will be made available somewhere next
year.

Comments and reactions can be addressed to Mark:
----------------------------------------------------------------
M.G.J. van den Brand,
Department of Software Engineering
CWI
Kruislaan 413, NL-1098 SJ AMSTERDAM, The Netherlands.

Tel___(+31) 20 5924007  WWW____http://www.cwi.nl/~markvdb/
Fax___(+31) 20 5924199  Email__markvdb@cwi.nl         
----------------------------------------------------------------