Termination of a Class of Non-linear Loop Programs

LIAO Yuan-rong; CHEN Guang-xi

Chinese

您当前的位置：

首页 >

文章列表页 >

Termination of a Class of Non-linear Loop Programs

更新时间：2026-09-04

- Termination of a Class of Non-linear Loop Programs
- Vol. 30, Issue 11, Pages: 51-55(2013)
- 作者机构：
  
  桂林电子科技大学广西可信软件重点实验室机构 , 数学与计算科学学院,广西,桂林,541004
- 作者简介：
- 基金信息：
- DOI：
  CLC：
- Published：2013
- 稿件说明：
移动端阅览
廖苑蓉, 陈光喜. 一类非线性循环程序的终止性[J]. 微电子学与计算机, 2013, 30(11): 51-55.

LIAO Yuan-rong, CHEN Guang-xi. Termination of a Class of Non-linear Loop Programs[J]. 2013, 30(11): 51-55.
廖苑蓉, 陈光喜. 一类非线性循环程序的终止性[J]. 微电子学与计算机, 2013, 30(11): 51-55. DOI：

LIAO Yuan-rong, CHEN Guang-xi. Termination of a Class of Non-linear Loop Programs[J]. 2013, 30(11): 51-55. DOI：

摘要

提出一类非线性循环程序的终止性是可以判定的。该类程序的终止性与其赋值矩阵的正特征值相对应的特征向量有关。然后提出了一种新的判定这类程序终止性的方法，该方法跟循环迭代的次数和变量的初始赋值息息相关。通过这个方法，不但能判定这一类程序是否终止，还能对不是所有初始值都终止的程序，给出能使该程序终止的初值建议。

Abstract

The termination of a class of non-linear loop program can be determined.The category of the program termination assignment matrix with positive eigenvalues related to the corresponding feature vector.Then proposed a new method to determine the type of program termination

the method is closely related with the initial assignment of loop iterations and variables.By this method

not only able to determine whether to terminate this category program

but also on not all the initial values are the termination procedures

given recommendations enables the initial value of the program terminates.

关键词

Keywords

references

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Lightweight countermeasures against Spectre attacks on the branch prediction unit

Research on assembly action recognition based on MSS-YOLO-MPHands fusion architecture

A high-efficiency charge pump for ultra-low voltage boost systems

A feature-oriented context understanding and slice analysis network for tuberculosis detection

Design of ultra-low power real-time clock circuits

Related Author

No data

Related Institution

No data

AI问答

Postal code：100079
Tel：（010）53879206 Email：tmw@bjxintong.com.cn
Technical support is provided by Beijing Founder electronics co., LTD 京ICP备09082226号-64 京公网安备11010602201714号
It is recommended to read the content of this site in Chrome&IE9+. Please switch to extreme mode in browser 360.
Cookies We use cookies to help provide and enhance our service and tailor content. By continuing, you agree to the use of cookies.

⁰