Question: Verify that the program segment x := 2 z := x + y if y > 0 then z := z + 1 else z

Verify that the program segment
x := 2
z := x + y
if y > 0 then
z := z + 1
else
z := 0
is correct with respect to the initial assertion y = 3 and the final assertion z = 6.

Step by Step Solution

★★★★★

3.34 Rating (169 Votes )

There are 3 Steps involved in it

1 Expert Approved Answer

Step: 1 Unlock

We suppose that initially y 3 The effect of the first two statements is to ... View full answer

Question Has Been Solved by an Expert!

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

Step: 2 Unlock

Step: 3 Unlock

Document Format (1 attachment)

923-M-C-M-S (1872).docx

120 KBs Word File

Students Have Also Explored These Related Statistics Questions!

Prove that the program segment y: = 1 z: = x + y is correct with respect to the initial assertion x = 0 and the final assertion z = 1.

a) Does testing a computer program to see whether it produces the correct output for certain input values verify that the program always produces the correct output? b) Does showing that a computer...

Verify the program segment if x > y then x := y with respect to the initial assertion T and the final assertion x y.

1. Use the following code to answer the three parts of the problem below. int x,y,z; x=1 ; y = 2; if (!( x >= y ) || ( ((x + 1) 2...

Need help with perl script, using perl 5 on windows Someone please check my answers. If incorrect please provide an answer but please explain how you got the answer. self studying for perl...

1) BinarySearchTree.h and BinarySearchTree.c . These files contain the prototypes and definitions for all of the functions for a regular binary search tree that does not balance itself. You do not...

0000 Question 8 of 25 According to the given code segment below, assume that user inputs are like x-10, y-14, z-12. What is the output of this code segment? public static void main(String[] args) {...

On Mathematica Exercises: 1. Consider the function f(x) = x2, we know that f has a root at zero. Suppose we select the seed to be 0.5 and the threshold to be 10-5. Execute a program in Mathematica to...

Answer multiple-choice questions 1. What of the following is a valid identifier? A. radius B. 8+9 C. class D. $343 2. What is output by the following code? int x = 2, y = 5; if ((x

Chinese Zodiac Redux. Name program chinese_zodiac_redux.py (20%) Write a new version of Listing 4.5 (pg 103-104) in which you use a list to simplify the coding of this task. (Your program will not...

1. Which specific abilities are measured by the specific question that Microsoft asked of Tashian? 2. Are there other abilities that may be unintentionally measured by Microsofts interviewing...

Write journal entries for the following transactions that occurred during May and explain how each would be disclosed in the financial statement 1. The company prepaid $14,340 rent for the period May...

Case 1: Merck and Johnson & Johnson Merck & Co., Inc. (USA) and Johnson & Johnson (USA) are two leading producers of healthcare products. Each has considerable assets and each expends considerable...

A card drawn at randomfroma deck of 52 cards is observed to be a face card.Given this partial information, what is the probability the card is a king?

Suppose that the correlation between X and Y is =. For constants a, b, c, and d, what is the correlation between the random variables U aX + b and V = cY + d?

The joint probability distribution is x - 1 0 0 1 y 0 -1 1 0 fXY (x, y) Show that the correlation between X and Y is zero, but X and Y are not independent.

Suppose X and Y are independent continuous random variables. Show that XY = 0.

I'm posting it for the second time could you please help with this asap it's due in 40 minutes As financial reporting advisors, we are asked by the head of Sterling Company to advise in accounting...

6 . Assume that a radiology group practice has the following cost structure: Fixed costs $ 5 0 0 , 0 0 0 Variable cost per procedure 2 5 Charge ( revenue ) per procedure 1 0 0 Furthermore, assume...

Closing prices for SilTech and New Mines for the years 1997 - 2012 are shown below. calculate the total returns for each for the years 2012-1998 to 3 decimal places. note that the price for 1997 is...