终止性分析相关论文
循环程序的终止性分析是程序验证的重要组成部分。确保循环程序的终止是循环程序完全正确的必要条件。目前,用来证明程序终止性的......
当今时代,计算机已经成为人们工作生活必不可少的工具。计算机及其软件使用已经渗透到人类活动的各个领域,软件作为计算机功能实现......
对赋值矩阵仅为一个Jordan块的特殊线性循环,构造了不可终止点集的一个子集,证明了此类循环的终止性可仅由该子集是否为空来判定,......
