摘要:秩函数法是循环程序终止性分析的主流方法.针对一类多分支多项式循环程序,这类程序的秩函数计算问题被证明可归结为单形上正定多项式的探测问题,从而便于利用线性规划工具Simplex去计算这类程序的秩函数.不同于现有基于柱形代数分解的量词消去算法,该方法能够在可接受的时间内计算更为复杂的多项式秩函数.
关键词:可信计算 多分支循环程序 终止性 秩函数
单位:中国科学院重庆绿色智能技术研究院; 重庆401120
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
相关范文
多项目管理论文