synthesis

Search:

synthesis

The process of deriving (efficient) programs from (clear) specifications.

See also program transformation.

(1996-08-23)