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)