程序设计法则

本文对Dijkstra的不确定性顺序程序设计语言,给出完整的一组代数法则。用Scott的域论把迭代和递归解释为连续泛函的不动点。提出了类似于最弱前置谓词的演算,以帮助人们从程序的规格说明中推导程序。