<programming, specification> The process of deriving (efficient) programs from (clear) specifications.
See also program transformation.
(1996-08-23)
Try this search on Wikipedia, OneLook, Google
Nearby terms: syntax directed translation « Syntax/Semantic Language « syntax tree « synthesis » Synthesizer Specification Language » sypware » SyQuest Technology, Inc.