###
DOI:
工程科学与技术:2011,43(6):111-114
←前一篇   |   后一篇→
本文二维码信息
码上扫一扫!
用有限差分法分析多项式程序终止
(中国科学院 成都计算机应用研究所)
Termination Analysis of Polynomial Programs by Finite Difference
(Chengdu Inst. of Computer Application,Chinese Academy of Sciences)
摘要
图/表
参考文献
相似文献
本文已被:浏览 1773次   下载 2
投稿时间:2010-12-14    修订日期:2011-04-26
中文摘要: 针对多项式程序的终止性问题,提出了一种使用有限差分法判定其终止性的算法。以有限差分法的基本思想为基础,发现了程序循环条件表达式的值与其有限差分值之间的关系,并对其进行了严格证明,由此得到判定这类循环程序终止性的方法。最后,还进一步分析了使用有限差分法判定具有更复杂条件表达式和有多分支的循环程序的终止性。
中文关键词: 有限差分  循环  终止
Abstract:An algorithm used to determine the termination of some polynomial loops by finite difference was proposed. Based on the basic principle of finite difference, the relation between the value of loop condition and its finite difference was discovered and proved rigorously. On this basis, a method for determining the termination of this class of polynomial loops was obtained. Furthermore, the more complex polynomial loops was analyzed, which had complex loop conditions and multiple branches.
文章编号:201001203     中图分类号:    文献标志码:
基金项目:国家“973”计划资助项目(2011CB302402);中国科学院“西部之光”人才培养计划“联合学者”项目;国家自然科学基金资助项目(11171053)
作者简介:
引用文本:
余伟,冯勇.用有限差分法分析多项式程序终止[J].工程科学与技术,2011,43(6):111-114.
Yu Wei,Feng Yong.Termination Analysis of Polynomial Programs by Finite Difference[J].Advanced Engineering Sciences,2011,43(6):111-114.