Computing DictionaryTwo 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.
| Sponsored Links: | |||
| Computing Dictionary | |||
| Definition: | 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. | ||
| COPYRIGHT © 2000-2009 HYPERDICTIONARY.COM | HYPERDICTIONARY.COM |