oc

Last Updated: 2003.2.10

oc - version 0.10a (February 10, 2003)
     mode analyzer and occurs-checker for Guarded Horn Clause programs

     copyright (C) Norio KATO, 2002--2003

oc-20030210.tgz --- You must have KLIC system installed in order to compile this package.

usage: oc [+options...] filenames...

 +s:  syntactic check only (mode analysis is not performed)
 +m:  mode analysis only (occurs-check analysis is not performed)
 +i:  ignore asymptotic strengthening (loses occurs-check analysis modularity)
 +w:  weak cooperativeness constraints (variables need not be instantiated)
 +v:  verbose mode

[back]