Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleInvariant functions and invariant relations: An alternative to invariant assertions
Author(s) Khaled Bsaies, Wided Ghardallou, Lamia Labed Jilani, Asma Louhichi, Ali Mili, Olfa Mraihi
TypeArticle in Journal
AbstractWhereas 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.
KeywordsLoop functions
ISSN0747-7171
URL http://www.sciencedirect.com/science/article/pii/S0747717112000557
LanguageEnglish
JournalJournal of Symbolic Computation
Volume48
Number0
Pages1 - 36
Year2013
Edition0
Translation No
Refereed No
Webmaster