摘要
本文给出ｆｏｒｘ：＝ａｔｏｂｄｏｓ语句正确性验证法则的推导，通过一实例说明这个法则的应用．类似地可给出ｆｏｒｘ：＝ｂｄｏｗｎｔｏａｄｏｓ语句正确性验证法则的推导。
In this paper the derivation of the certificate rule to the correction ofsentence“for x:= a to b do S”is given. An example is given to show how to use this rule.Similarly,the derivation of the certificate rule to the correction of sentence“for x:=bdownto ado S”could be obtained.
出处
《云南师范大学学报（自然科学版）》
1995年第2期4-9,共6页
Journal of Yunnan Normal University:Natural Sciences Edition
