Termination Set of Univariate Monotonic Program
E-Product E-Service and E-Entertainment(2010)
摘要
As the rapid development of computer science technology, programs play an important role in our daily life. Given a loop program, whether it can finally terminate is crucial for software safety. However, its terminability is normally considered to be undecidable. In this paper, a particular type of program - univariate monotonic loop program is discussed, and by "Backward-Iteration approach", their termination sets can be derived.
更多查看译文
关键词
termination,software safety,backward iteration approach,termination sets,loop program,trusted computing,univariate monotonic program,computer science technology,program control structures,computer programs,program verification,bismuth,polynomials,programming
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要