How the loop invariant holds after the exit condition

Assignment Help Computer Engineering

Reference no: EM132103197

Precondition: x, y ? N, x, y > 0

Postcondition: return an integer representing the greatest common divisor of x and y

euclidGCD(x, y):

while(y != 0):

temp = y

y = x % y

x = temp

return x

Prove the correctness of this iterative program.

In the proof can you write down the loop invariant, how the loop terminates and how the loop invariant holds after the exit condition?

Reference no: EM132103197

Questions Cloud

What harm could result from a successful attack : What risks do Web and database attacks create for an organization? What harm could result from a successful attack?

Represent a full adder as a block diagram : Represent a Full adder as a block diagram . Specify the function of a full adder using a truth table.

What is linkedin corporation : What are the audit program objectives, scope, and criteria? Consider associated law, regulation, or internal direction or policy?

What type of information is shown on a wiring diagram : What type of information is shown on a wiring diagram? How does this differ from a network diagram?

How the loop invariant holds after the exit condition : In the proof can you write down the loop invariant, how the loop terminates and how the loop invariant holds after the exit condition?

Create the basic xml document from the specifications : Creating a simple XML document for Maddy Wilson, the manager for Friday's Diner. Maddy would like to keep track of her clients in an XML document.

Describe a scheme by which you can feed the drink to rats : Preparing for a big end-of-semester party at Hogwarts, you crack open the Gryffindor cellar and count n bottles of fine drink.

Prepare and share unique logical view for a simple database : Consider an application you would like to eventually implement. What would the logical design look like?

Prepare a paper for the hs pojects software tools : Cover sheet with the title "Home Security Requirements Project " followed by your full name and your student id.

User Account

All Pages