%0 Journal Article
%T 程序设计法则
%A Hoa.
%A CAR 宋国新
%J 计算机科学
%D 1989
%I 
%X 本文对Dijkstra的不确定性顺序程序设计语言,给出完整的一组代数法则。用Scott的域论把迭代和递归解释为连续泛函的不动点。提出了类似于最弱前置谓词的演算,以帮助人们从程序的规格说明中推导程序。
%K 代数法则
%K 程序设计
%K 域论
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=B302183205566D43DC4A48B910FF7D10&yid=1833A6AA51F779C1&vid=7801E6FC5AE9020C&iid=0B39A22176CE99FB&sid=CA4FD0336C81A37A&eid=9CF7A0430CBB2DFD&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0