%0 Journal Article
%T 归纳程序综合系统NDIPS的设计
%A 徐家福
%A 戴敏
%A 王志坚
%J -
%D 1990
%X 本文讨论了软件自动化归纳途径的现状、症结和解决方法,介绍了归纳程序综合系统NDIPS的设计思想和实现技术,强调了系统中自动归纳程序的关键技术
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19900107&flag=1