%0 Journal Article
%T INDUCTIVE PROGRAM SYNTHESIS FROM TRACES<br>基于轨迹的归纳程序综合
%A Wang Zhijian
%A Zhang Jun
%A Xu Jiafu
%A <br>王志坚
%A 章骏
%A 徐家福
%J 软件学报
%D 1993
%I 
%X This paper presents the inductive method for synthesizing programs from traces in NDIPS system. The matching identification algorithm is applied to the traces, generated by problem mechanism or provided by users, to form the recursive relations, and to synthesize the target programs. Its theory and implementation are discussed, and the synthesizing process of hanoi program is presented for the illustration.
%K 归纳程序
%K 轨迹
%K 程序设计
%K 自动化
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=A3D81505BB0814D4FA4E068E9765ED74&yid=D418FDC97F7C2EBA&vid=E158A972A605785F&iid=0B39A22176CE99FB&sid=23CCDDCD68FFCC2F&eid=A04140E723CB732E&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=6