WANG Zhijian, ZHANG Jun, XU Jiafu. Inductive Program Synthesis Through Problem SolvingJ. Journal of Computer Research and Development, 1991, 28(6): 20-25.
Citation:
WANG Zhijian, ZHANG Jun, XU Jiafu. Inductive Program Synthesis Through Problem SolvingJ. Journal of Computer Research and Development, 1991, 28(6): 20-25.
WANG Zhijian, ZHANG Jun, XU Jiafu. Inductive Program Synthesis Through Problem SolvingJ. Journal of Computer Research and Development, 1991, 28(6): 20-25.
Citation:
WANG Zhijian, ZHANG Jun, XU Jiafu. Inductive Program Synthesis Through Problem SolvingJ. Journal of Computer Research and Development, 1991, 28(6): 20-25.
Inductive Program Synthesis Through Problem Solving
Inductive program synthesis is one of the important approaches to software autormation. In this paper,the synthesizing process is treated as a problem solving task,and the program which covers all the given instances is generated by inductive inference.Its method,theory and implementa- tion are discussed.
DownLoad: