%0 Journal Article
%T 程序设计法则（续）
%A Hoa.
%A CAR 宋国新
%J 计算机科学
%D 1989
%I 
%X 域的性质本节使用文献的方法,介绍迭代和递归。序关系作为预备知识,我们先考察程序之间序关系的性质。定义 P Q P ∪Q=P。这意味着Q是一个比P更确定的程序。Q能做的事情,P也能做,而Q不能做的事情,P也可能不能做。因此,无论从那一点来看,Q是一个比P更能预测、更能控制的程序。在P可靠地用于有用目的
%K 程序设计
%K 法则
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=7EFFE2CD5E4FFF43487AE31B3A70506C&yid=1833A6AA51F779C1&vid=7801E6FC5AE9020C&iid=38B194292C032A66&sid=0401E2DB1F51F8DE&eid=CB423C9A71560A74&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0