revised version of study note T-6

[Helene.Kirchner@loria.fr]

A revised version of study note T-6 is available via
http://www.brics.dk/Projects/CoFI/Notes/T/ 

Standard annotations for parsers and static semantic checkers -
a proposal

Till Mossakowski1 

Abstract
       
We argue that tools for parsing and static semantic analysis of CASL
specifications should be usable as a front-end for tools that act only
only well-formed specifications (like theorem provers,
rewriters). Therefore, standard annotations for abstract syntax trees
containing the static semantic (and other) information are needed. A
proposal for what these annotations should contain is made. Note that
this is to some degree independent of the question which interchange
format to choose.

The note was revised according to the discussion on the CoFI Tools
meeting in Lisbon at April 3rd 1998.