WANG Zhijian, WANG Jun, XU Jiafu. A Top-Down Method for Inductive Program SynthesisJ. Journal of Computer Research and Development, 1992, 29(2): 22-26.
Citation:
WANG Zhijian, WANG Jun, XU Jiafu. A Top-Down Method for Inductive Program SynthesisJ. Journal of Computer Research and Development, 1992, 29(2): 22-26.
WANG Zhijian, WANG Jun, XU Jiafu. A Top-Down Method for Inductive Program SynthesisJ. Journal of Computer Research and Development, 1992, 29(2): 22-26.
Citation:
WANG Zhijian, WANG Jun, XU Jiafu. A Top-Down Method for Inductive Program SynthesisJ. Journal of Computer Research and Development, 1992, 29(2): 22-26.
Abstract:The top-down inductive program synthesis is based on the method of identification by enumeration.With the inductive program synthesis system NDIPS,this paper presents its synthesis al-gorithm,the organization of its hypothesis space and the search strategies it adopted.
DownLoad: