Word list Emoticon dictionary Internet Explorer toolbar IE quick lookup Firefox search plugin For Webmasters VDict on your site
About Privacy policy Contact us
FAQ Community support forum
Language
English
Vietnamese
Search history
History size
Delete history View history
Vietnamese keyboard On Off  
Search in Name Definition  
Match type Exact Broad Fuzzy
 
Computing
 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)




Search for sound in:


Search by other methods:

Vietnamese Dictionary and Translation. Từ điển và dịch Anh Việt