微信服务号

微信订阅号

Home > Archive>Volume 26, Issue 2, 2015 >297-304. DOI:10.13328/j.cnki.jos.004782
PDF HTML XML Export Cite reminder
Termination Analysis of Multipath Loop Programs with One Variable
Author:
Affiliation:

Clc Number:

Fund Project:

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

    Termination of multipath loop programs with one variable is analyzed in this paper. It demonstrates that under proper conditions, this kind of loops is non-terminate if and only if there exist fixed points. Especially, if the class of programs are polynomial, then under proper conditions, the termination of the programs is decidable over the reals.

    Reference
    Related
    Cited by
Get Citation

李轶,李传璨,吴文渊.多分支单变量循环程序的终止性分析.软件学报,2015,26(2):297-304

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:July 02,2014
  • Revised:October 31,2014
  • Adopted:
  • Online: February 06,2015
  • Published:
Links:Institute of Software, CASChina Computer FederationCASNSFC
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