[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

New notes

Please look at the new notes below, and bring them with you at
the next CoFI Tools group meeting in Lisbon.
Helene


Note T-6. 
Standard annotations for parsers and static semantic checkers 
- a proposal. 
Till Mossakowski

http://www.brics.dk/Projects/CoFI/Notes/T-6/
 ftp://ftp.brics.dk/Projects/CoFI/Notes/T-6/


Note T-3 revised.
ATerms: Exchanging Data between Heterogeneous Tools for CASL
Mark van den Brand, Paul Klint, Pieter Olivier

http://www.brics.dk/Projects/CoFI/Notes/T-3/
 ftp://ftp.brics.dk/Projects/CoFI/Notes/T-3/