KMS Chongqing Institute of Green and Intelligent Technology, CAS
Termination analysis of non-linear loops over closed and bounded connected domain | |
Li, Yi; Feng, Yong | |
2016 | |
摘要 | Termination of a class of nonlinear loops is analyzed in this paper. Based on Groebner bases, determining the termination problem of this type of loop programs is equivalent to determining whether or not the iteration functions of the loops have fixed points in the domains specified by loop guards. © Copyright 2016, Institute of Software, the Chinese Academy of Sciences. All rights reserved. |
DOI | 10.13328/j.cnki.jos.004978 |
发表期刊 | Ruan Jian Xue Bao/Journal of Software |
ISSN | 10009825 |
卷号 | 27期号:3页码:517-526 |
通讯作者 | Li, Yi (zm_liyi@163.com) |
收录类别 | EI |
语种 | 中文 |