Termination Analysis of Loops with Linear Assignment over Closed and Bounded Domains
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    Termination of linear programs over closed and bounded domains is analyzed in this paper. The termination of this class of loops can be reduced to that of another class of loops by means of Jordan canonical forms. It has been shown that under some condition, this kind of loops do not terminate over the domains if and only if there exist fixed points or periodic orbits in the domains.

    Reference
    Related
    Cited by
Get Citation

李轶,吴文渊,冯勇.有界闭域上的线性赋值循环终止性分析.软件学报,2014,25(6):1133-1142

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:September 03,2012
  • Revised:February 04,2013
  • Adopted:
  • Online: May 30,2014
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063