Generating Preconditions for Termination of Loop Programs

Bin Wu; Liyong Shen; Min Wu; Zhengfeng Yang; Zhenbing Zeng

doi:10.4156/ijact.vol4.issue7.38

Generating Preconditions for Termination of Loop Programs

Bin Wu^*
, Liyong Shen
, Min Wu
, Zhengfeng Yang
, Zhenbing Zeng

^*Corresponding author for this work

Software Engineering Institute

Research output: Contribution to journal › Article › peer-review

Abstract

In this paper, we address the problem of generating reasonable preconditions for termination of loop programs. A method of generated preconditions is presented based on solving systems of difference equations corresponding to the loop assignments. We illustrate our method with some examples drawn from industrial codes.

Original language	English
Pages (from-to)	349-359
Number of pages	11
Journal	International Journal of Advancements in Computing Technology
Volume	4
Issue number	7
DOIs	https://doi.org/10.4156/ijact.vol4.issue7.38
State	Published - 2012

Keywords

Precondition
Program correctness
Termination

Access to Document

10.4156/ijact.vol4.issue7.38

Cite this

@article{07a5d6d5d1274f2da765255806e75147,

title = "Generating Preconditions for Termination of Loop Programs",

abstract = "In this paper, we address the problem of generating reasonable preconditions for termination of loop programs. A method of generated preconditions is presented based on solving systems of difference equations corresponding to the loop assignments. We illustrate our method with some examples drawn from industrial codes.",

keywords = "Precondition, Program correctness, Termination",

author = "Bin Wu and Liyong Shen and Min Wu and Zhengfeng Yang and Zhenbing Zeng",

year = "2012",

doi = "10.4156/ijact.vol4.issue7.38",

language = "英语",

volume = "4",

pages = "349--359",

journal = "International Journal of Advancements in Computing Technology",

issn = "2005-8039",

publisher = "Advanced Institute of Convergence Information Technology Research Center",

number = "7",

}

TY - JOUR

T1 - Generating Preconditions for Termination of Loop Programs

AU - Wu, Bin

AU - Shen, Liyong

AU - Wu, Min

AU - Yang, Zhengfeng

AU - Zeng, Zhenbing

PY - 2012

Y1 - 2012

N2 - In this paper, we address the problem of generating reasonable preconditions for termination of loop programs. A method of generated preconditions is presented based on solving systems of difference equations corresponding to the loop assignments. We illustrate our method with some examples drawn from industrial codes.

AB - In this paper, we address the problem of generating reasonable preconditions for termination of loop programs. A method of generated preconditions is presented based on solving systems of difference equations corresponding to the loop assignments. We illustrate our method with some examples drawn from industrial codes.

KW - Precondition

KW - Program correctness

KW - Termination

UR - https://www.scopus.com/pages/publications/84860337883

U2 - 10.4156/ijact.vol4.issue7.38

DO - 10.4156/ijact.vol4.issue7.38

M3 - 文章

AN - SCOPUS:84860337883

SN - 2005-8039

VL - 4

SP - 349

EP - 359

JO - International Journal of Advancements in Computing Technology

JF - International Journal of Advancements in Computing Technology

IS - 7

ER -

Generating Preconditions for Termination of Loop Programs

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this