Using invariant functions and invariant relations to compute loop functions

  • Jilani L
  • Mraihi O
  • Louhichi A
 et al. 
  • 18


    Mendeley users who have this article in their library.
  • 0


    Citations of this article.


In this short paper we discuss the design, implementation and operation of an automated tool that computes the function of while loops written in C-like programming languages.

Author-supplied keywords

  • loop semantic
  • program analysis
  • while loop

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • Lamia Labed Jilani

  • Olfa Mraihi

  • Asma Louhichi

  • Wided Ghardallou

  • Ali Mili

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free