Computer Dictionary Online

Medical Dictionary   Law Dictionary   Legal Dictionary   Website Design

0  1  2  3  4  5  6  7  8  9  a  b  c  d  e  f  g  h  i  j  k  l  m  n  o  p  q  r  s  t  u  v  w  x  y  z 


sound

1. audio.

2. <logic> An inference system A is sound with respect to another system B if A can only reach conclusions which are true in B. A type inference system is considered sound with respect to a semantics if the type inferred for an expression is the same as the type inferred for the meaning of that expression under the semantics.

The dual to soundness is completeness.

(1995-03-01)


Contact the Computer Dictionary Online  ::  Link to the Computer Dictionary Online  ::  Disclaimer for Computer Dictionary Online

Computer Dictionary Online
Copyright © 2017