<language> ("Oh see!") A parallel logic language.
["Self-Description of Oc and its Applications", M. Hirata, Proc 2nd Natl Conf Japan Soc Soft Sci Tech, pp. 153-156, 1984].
(1995-03-16)
Try this search on Wikipedia, OneLook, Google
Nearby terms: OBOE « OBSCURE « observational equivalence « Oc » OC-12 » OC-3 » OC-48