AUTOMATIC PROGRAMMING FROM A SMALL NUMBER OF EXAMPLES

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.