dict.org

The DICT Development Group


Search for:
Search type:
Database:

Database copyright information
Server information


1 definition found
 for observational equivalence
From The Free On-line Dictionary of Computing (30 December 2018) :

  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.
  

Contact=webmaster@dict.org Specification=RFC 2229