Details:
Title | Reflexive transitive invariant relations: A basis for computing loop functions | Author(s) | Lamia Labed Jilani, Asma Louhichi, Ali Mili, Olfa Mraihi, Chaitanya Nadkarni, A.I. Shirshov | Type | Article in Journal | Abstract | | Keywords | Function extraction, Loop functions, Invariant assertions, Invariant relations, Invariant functions, Relational calculus, Refinement calculus, Computing loop behavior | ISSN | 0747-7171 |
URL |
http://www.sciencedirect.com/science/article/pii/S0747717109000510 |
Language | English | Journal | Journal of Symbolic Computation | Volume | 45 | Number | 11 | Pages | 1114 - 1143 | Year | 2010 | Note | Special Issue on Invariant Generation and Advanced Techniques for Reasoning about Loops | Edition | 0 | Translation |
No | Refereed |
No |
|