Link Details

Link 914473 thumbnail
User 888727 avatar

By redjamjar
via whiley.org
Submitted: Jan 28 2013 / 15:36

In this article, I'll look at a common problem one encounters when verifying programs: namely, writing loop invariants.  In short, a loop invariant is a property of the loop which: (1) holds on entry to the loop; (2) holds after the loop body is executed; (3) holds when the loop finishes.
  • 2
  • 0
  • 134
  • 68

Add your comment


Html tags not supported. Reply is editable for 5 minutes. Use [code lang="java|ruby|sql|css|xml"][/code] to post code snippets.

Voters For This Link (2)



Voters Against This Link (0)



    Apache Hadoop
    Written by: Piotr Krewski
    Featured Refcardz: Top Refcardz:
    1. Play
    2. Akka
    3. Design Patterns
    4. OO JS
    5. Cont. Delivery
    1. Play
    2. Java Performance
    3. Akka
    4. REST
    5. Java