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 |
|
