Skorzystaj z wyszukiwarki lub indeksu alfabetycznego.
Przykłady: pci, /dev/null, functional unit, embedded system, pseudo-tty, nfs.
1 definition found
From The Free On-line Dictionary of Computing (05 January 2017) [foldoc]:
sound
1. audio.
2. 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)