synthesizer

n : (music) an electronic instrument (usually played with a

keyboard) that generates and modifies sounds

electronically and can imitate a variety of other musical

instruments

synthesis

The process of deriving

(efficient) programs from (clear) specifications.

See also {program transformation}.

(1996-08-23)