• DocumentCode
    569380
  • Title

    Termination Analysis of Multipath Loop Programs

  • Author

    Li, Lingna

  • Author_Institution
    Chengdu Inst. of Comput. Applic., Chengdu, China
  • fYear
    2012
  • fDate
    17-19 Aug. 2012
  • Firstpage
    313
  • Lastpage
    316
  • Abstract
    In this paper, we analyze termination of multipath linear loop programs by combining the trial difference method and calculation of loop complexity upper bound. Though this method is not complete, it is useful to verify termination of multipath linear loop programs, because it is practical and it is very easy to implement.
  • Keywords
    computational complexity; program verification; loop complexity upper bound; multipath linear loop programs; trial difference method; Complexity theory; Computers; Educational institutions; Optimization; Polynomials; Radiation detectors; Upper bound; cation; loop complexity upper bound; multipath loop program; program verifi termination; the trial difference method;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computational and Information Sciences (ICCIS), 2012 Fourth International Conference on
  • Conference_Location
    Chongqing
  • Print_ISBN
    978-1-4673-2406-9
  • Type

    conf

  • DOI
    10.1109/ICCIS.2012.311
  • Filename
    6300499
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=569380