resound

v 1: ring or echo with sound; reverberate; "the hall resounded

with laughter" [syn: {echo}, {ring}, {reverberate}]

2: emit a noise [syn: {make noise}, {noise}]

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 {complete}ness.

(1995-03-01)