Details:
Title | Invariant functions and invariant relations: An alternative to invariant assertions | Author(s) | Khaled Bsaies, Wided Ghardallou, Lamia Labed Jilani, Asma Louhichi, Ali Mili, Olfa Mraihi | Type | Article in Journal | Abstract | Whereas the analysis of loops in imperative programs is, justifiably, dominated by the concept of invariant assertion, we submit a related but different concept, of invariant relation, and show how it can be used to analyze diverse aspects of a while loop. We also introduce the concept of invariant function, which is used to generate a broad class of invariant relations. | Keywords | Loop functions | ISSN | 0747-7171 |
URL |
http://www.sciencedirect.com/science/article/pii/S0747717112000557 |
Language | English | Journal | Journal of Symbolic Computation | Volume | 48 | Number | 0 | Pages | 1 - 36 | Year | 2013 | Edition | 0 | Translation |
No | Refereed |
No |
|