%0 Journal Article
%T 论folding/unfolding程序转换的能力
%A 朱鸿？
%J 软件学报
%P 31-41
%D 1991
%X 本文讨论burstall与darlington提出的folding/unfolding系统的程序转换能力,即讨论从一个给定的程序可以推导出什么样的程序。因此,这是正确性与完备性问题的推广。本文证明了可推导性的一个必要条件,并由此得到了该系统提高程序效率的一个界限。该系统的部分正确性和不完备性也均是该条件的推论。
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19910205&flag=1