Publish no loop without its invariant 17 April 201412 May 2011 by Bertrand Meyer There may be no more blatant example of the disconnect between the software engineering community and the practice of programming than the lack of widespread recognition for the fundamental role of loop invariants.