The process of deriving (efficient) programs from (clear) specifications.
See also program transformation.