【作者】 冯玉琳；
【机构】 中国科学技术大学；
【摘要】 <正> 一、引论程序证明是把程序和它所实现的目标(用描述断言表示)两者都作为数学对象,回答“程序是否能实现既定的目的”这样一个逻辑问题。程序证明的方法目前还未发展到工程实现的阶段。更多还原
