Can I read Developing Loops with Invariants and Bounds on EtoBox?

Developing Loops with Invariants and Bounds by Samantha Ramos is a document available to read on EtoBox.

What is Developing Loops with Invariants and Bounds about?

The document discusses two methods for developing loops given preconditions, postconditions, invariants, and bound functions. It provides an example of developing a loop to sum the elements of an array. The key steps are determining the guard to satisfy the postcondition, initializing variables, and developing the loop body to decrease the bound while maintaining the invariant. It also provides an example of searching a 2D array, demonstrating finding the guard, initialization, and developing the alternativ

Author

Samantha Ramos

Language

EN