Question: Prove the following program is correct: {n > 0} count = n; sum = 0; while count 0 do sum = sum + count; count

Prove the following program is correct:

{n > 0}
count = n;
sum = 0;
while count <> 0 do
    sum = sum + count;
    count = count - 1;
end
{sum = 1 + 2 + . . . + n}

Step by Step Solution

★★★★★

3.51 Rating (158 Votes )

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock

the dry of the follwing code gives the proof of the question worikng correcly poi... View full answer

blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Concepts of Programming Languages Questions!

Q:

The following program is the Schematics Netlist of a particular circuit. Draw the circuit and determine the voltage at node 2. RR1 1 2 20 R R2 2 0 50 R R3 2 3 70 R R4 3 0 30 V VS 1 0 20V IIS 2 0 DC 2A

Q:

The following program is legal under Javas syntax rules, but it is difficult to read because of its layout and lack of comments. Reformat it using the rules given in this chapter, and add a comment...

Q:

The following program is legal under Javas syntax rules, but it is difficult to read because of its layout and lack of comments. Reformat it using the rules given in this chapter, and add a comment...

Q:

7. Prove the following program is correct: (n> 0) count n sum = 0; while count 0 do sum sum + count: count count 1 end (sum = 1 + 2 + . . . + n}

Q:

Prove the following program is correct: {n > 0} count = n; sum = 0; while count 0 do sum = sum + count; count = count - 1; end {sum = 1 + 2 + . . . + n}

Q:

Prove the following program is correct: {n > 0} count = n; sum = 0; while count 0 do sum = sum + count; count = count - 1; end {sum = 1 + 2 +. .. + n}

Q:

7. Prove the following program is correct: {n > 0} count = n; sum = 0; while count 0 do end sum = sum + count; count = count - 1; {sum 1+2+...+n}

Q:

7. Prove the following program is correct (n> 0) count n sum = 0; while count 7. Prove the following program is correct: count n; sum = 0; while count 0 do sum = sum + count; count count - 1 ; end

Q:

Please, i need Unique answer, Use your own words (don't copy and paste). *Please, don't use handwriting. *Please, don't use handwriting. *Please, don't use handwriting. *Please, don't use...

Q:

Prove the following program is correct {n > 2}; count = n; sum = 0; while count 2 do sum = sum + count; count = count 1; end; {sum = 3 + 4 + + n}

Q:

Describe an example of a research question where a Regression Model could be been used. Describe the characteristics of the independent variables and their likelihood of explaining the variance in...

Q:

What are the three key inputs to the valuation process?

Q:

Question 2 of 1 4 - / 1 E . . . account titles and enter O for the amounts. Credit account titles are automatically indented when amount is entered. Do not indent manually. Record journal entries...

Q:

8. What is total cost of ownership (TCO), and how is it determined?

Q:

Give a precise and complete definition of the concept of matching for grouping symbols in an arithmetic expression. Your definition may be recursive.

Q:

Give a recursive method for removing all the elements from a stack.

Q:

Implement a method with signature transfer(S, T) that transfers all elements from stack S onto stack T, so that the element that starts at the top of S is the first to be inserted onto T, and the...

Q:

Suppose that you own 2,800 shares of Nocash Corp. and the company is about to pay a 25% stock dividend. The stock currently sells at $125 per share. a. What will be the number of shares that you hold...

Q:

A company applies overhead using machine hours. Additional information follows. Standard variable overhead rate Actual variable overhead rate Standard hours of machine use ( for actual production )...

Q:

Reactive Power Generation has the following capital structure. Its corporate tax rate is 21%. Security Debt Preferred stock Common stock Market Value $ 10 million 30 million 60 million Required Rate...