http://catless.ncl.ac.uk/Programs/tclCheck/
Lindsay Marshall
See also: frink.
[ Category Application
Category Debugging (=> Static Syntax Analysis) ]