Jump to content

Talk:Loop variant

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Database Vandalism

[edit]

I corrected an instance of vandalism in this article as follows: The following sentence, in all revisions of the article

While we have shown that every loop that terminates has a variant, this does not mean that the well-foundedness of the loop iteration can be proven.

had been vandalised to read

While we have shown that every loop that terminates has an invariant, this does not mean that the well-foundedness of the loop iteration can be proven.

Deepmath (talk) 04:48, 19 July 2009 (UTC)[reply]