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)
Nearby terms:
sort « sorting « SOS « sound » Sound Blaster
» sound card » soundex
|