程序终止性相关论文
在介绍程序正确性的定义和良序集的概念基础上，对良序集证明程序终止性思路和步骤进行了分析，利用实例来证明程序的终止性。......
介绍Ｒ．Ｗ．Ｆｌｏｙｄ关于程序正确性的证明方法，并结合一个程序实例，通过证明其部分正克性和终止性来验证其正确性。......
针对判定一个程序终止性的经典方法Ranking函数法,运用半代数系统的概念,把程序终止性问题转换为求半代数系统的Ranking函数。然后......
PROLOG语言中引进了cut这一重要的内部谓词(built-in predicate)。使用cut可以方便地表达出过程性语义中不可缺少的控制结构——选......
程序终止性问题是自动程序验证领域中的一个研究热点。秩函数探测是进行终止性分析的主要方法。针对单重无条件分支的多项式循环程......
