If you can't find the translation you need, try our free translation
1. OBOE Object-code Buffer Overrun Evaluator OBSCURE "A Formal Description of the Specification Language OBSCURE", J. Loeckx, TR A85/15, U Saarlandes, Saarbrucken, 1985. [Jargon File] observational equivalence Two terms M and N are observationally equivalent iff for all contexts C[] where C[M] is a valid term, C[N] is also a valid term with the same value. Oc "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]. 2. a slender double-reed instrument; a woodwind with a conical bore and a double-reed mouthpiece
2008 Online-Dictionary.biz. All rights reserved. By using this website you agree to be bound by our terms and conditions.
All content on this website is property of LocalTranslation unless stated otherwise.