This paper describes a coherent method of automatic program retrieval
and automatic programming. The objective system, given a simple specif
ication for an intended program. produces a program simply by retrievi
ng an existing program or by combining existing programs together or w
ith newly composed programs. This paper describes the underlying princ
iples, a proposed method, complexity, and experiments that have been d
one using a prototype system called ARDEX.