Prev Up
Go backward to 3 Proposal for static semantic checker annotaions
Go up to Top

Footnotes

 
(1)
University of Bremen  
(2)
I have found in my notes that Christine Choppy should know more about this point.

CoFI Note: T-6 -- Version: Version 1.1 -- 30 September 1998.
Comments to till@informatik.uni-bremen.de

Prev Up