observational equivalence

1 definition found

observational equivalence - Free On-line Dictionary of Computing (26 May 2007) :

  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.