|
|
| |
FB 3
|
|
| |
Group BKB >
Publications >
Search >
|
Deutsch
English
|
| |
Publications Search - Details
|
| |
| Publication type: |
Unpublished |
| Author: |
Till Mossakowski |
| Title: |
Standard annotations for parsers and static semantic checkers - a proposal |
| Year published: |
1998 |
| 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. |
| Internet: |
http://www.informatik.uni-bremen.de/cofi/old/Notes/T-6/index.html |
| Keywords: |
CASL tools annotations |
| Note / Comment: |
CoFI note T-6 |
| Status: |
Other |
| Last updated: |
27. 02. 2007 |
|
 |
Back to result list |
|
|
| |
Author: Automatically generated page
|
|
| |
Group BKB |
| Last updated: May 9, 2023 |
 |
|
|