线性循环程序相关论文
程序的终止性分析作为程序验证中重要的一环，在软件正确性验证中极为重要。对于一个线性循环程序，若该程序没有传统定义的线性秩函数......
循环程序的终止性是确保循环程序完全正确的必要条件。如果给定的线性赋值循环程序不存在传统定义的线性秩函数,那么基于传统定义......
