• DocumentCode
    536439
  • Title

    Termination Set of Univariate Monotonic Program

  • Author

    Zhao, Shizhong ; Feng, Ranran ; Chen, Donghuo

  • Author_Institution
    Shanghai Key Lab. of Trustworthy Comput., East China Normal Univ., Shanghai, China
  • fYear
    2010
  • fDate
    7-9 Nov. 2010
  • Firstpage
    1
  • Lastpage
    4
  • Abstract
    As the rapid development of computer science technology, programs play an important role in our daily life. Given a loop program, whether it can finally terminate is crucial for software safety. However, its terminability is normally considered to be undecidable. In this paper, a particular type of program - univariate monotonic loop program is discussed, and by "Backward-Iteration approach", their termination sets can be derived.
  • Keywords
    program control structures; backward iteration approach; computer programs; computer science technology; loop program; software safety; termination sets; univariate monotonic program; Bismuth; Computers; Conferences; Polynomials; Programming; Software;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    E-Product E-Service and E-Entertainment (ICEEE), 2010 International Conference on
  • Conference_Location
    Henan
  • Print_ISBN
    978-1-4244-7159-1
  • Type

    conf

  • DOI
    10.1109/ICEEE.2010.5660122
  • Filename
    5660122
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=536439