Timeline for provability of while loop vs for loop
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 22, 2015 at 14:48 | comment | added | babou |
This seems to be quite consistent with my own assessment, though based on a different view. Floyd-Hoare logic had no reason to consider the for loop, which has no fixed definition and is more complex, without being formally necessary.
|
|
| Apr 22, 2015 at 14:08 | history | edited | RemcoGerlich | CC BY-SA 3.0 |
added 4 characters in body
|
| Apr 22, 2015 at 11:19 | history | answered | RemcoGerlich | CC BY-SA 3.0 |