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.
| < Previous Terms | Terms Containing sound | Next Terms > |
| SORCERER sorcerer's apprentice mode sort sorting SOS | A3D acoustic coupler application service provider audio bamf | Sound Blaster sound card soundex soundness source |
