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.
Users
Please
log in to take part in the discussion (add own reviews or comments).