摘要 |
A pre-processing portion retrieves several alternative program names with the same number of arguments as that of given input/output examples from a reference program cache table. A denotational determining portion successively retrieves alternative programs from a reference program database, supplies received input examples to the alternative programs, and obtains outputs of the programs. Thereafter, the denotational determining portion compares each obtained output with each given output example and determines whether or not each alternative program can be used. The denotational determining portion outputs the program name of the suitable alternative program. Thus, a desired program is automatically retrieved from pre-developed programs with retrieval keys of input/output examples. Consequently, alternative programs can be easily obtained.
|