Verify that the program segment x := 2 z := x + y if y > 0

Question:

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.

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Related Book For book-img-for-question

Discrete Mathematics and Its Applications

ISBN: 978-0073383095

7th edition

Authors: Kenneth H. Rosen

See More Books

Question Posted: May 02, 2016 12:31 PM

See More 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.
Find dy/dx for the following functions. y = sin x + cos x
Describe the major phases in the systems development life cycle (SDLC).
Use the appropriate factors from Table 6-4 or Table 6-5 to answer the following questions. Required: a. Staley Co.s common stock is expected to have a dividend of $6 per share for each of the next 12...
Refrigerant-134a is being transported at $0.08 \mathrm{~kg} / \mathrm{s}$ through a Teflon tube of inside diameter $D_{i}=20 \mathrm{~mm}$ and outside diameter $D_{o}=25 \mathrm{~mm}$, while...
Russell Industries is considering replacing a fully depreciated machine that has a remaining useful life of 10 years with a newer, more sophisticated machine. The new machine will cost $200,000 and...
For sgupta20: 700 words, Original Work, References Included, Plagerism free. In text citation included. Write a paper in which you examine the field of abnormal psychology. Address the following...
Real Value Corporation Real Value Corporation (the "Company"), is a public company (and an SEC registrant) that creates augmented reality technology. The Company's primary source of revenue is...
Use a loop invariant to verify that the Euclidean algorithm (Algorithm 1 in Section 4.3) is partially correct with respect to the initial assertion "a and b are positive integers" and the final...
a) Can you use the principle of mathematical induction to find a formula for the sum of the first n terms of a sequence? b) Can you use the principle of mathematical induction to determine whether a...
Why would a company pay to have its public debt rated by a major rating agency (such as Moodys or Standard and Poors)? Why might a firm decide not to have its debt rated?
A factor associated with the widespread adoption of algorithmic trading is increased: A. market efficiency. B. average trade sizes. C. trading destinations.
Which of the following statements on fintechs use of data as part of risk analysis is correct? A. Stress testing requires precise inputs and excludes qualitative data. B. Machine learning ensures...
What is a distributed ledger technology (DLT) application suited for physical assets? A. Tokenization B. Cryptocurrencies C. Permissioned networks
Wakuluk is most likely to make significant adjustments to her estimate of the future growth trend for which of the following countries? A. Country Y only B. Country Z only C. Countries Y and Z
Wakuluks approach to economic forecasting: A. is flexible and limited in complexity. B. can give a false sense of precision and provide false signals. C. imposes no consistency of analysis across...
Consider the Verilog code in Figure P4.2. What type of circuit does the code represent? Comment on whether or not the style of code used is a good choice for the circuit that it represents. module...
Heineken N.V., a global brewer based in the Netherlands, reports the following balance sheet accounts for the year ended December 31, 2016 (euros in millions). Prepare the balance sheet for this...
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.
123 Anna purchased 100 shares of Delta stock on February 1, Year 2, for $46 per share, and 5 received a two-for-one stock split on December 31, Year 2. Anna sold all the shares of Delta stock on...
work i Saved QS 17-10 (Algo) Computing activity rates for activity-based costing LO P3 A company sells two types of products: standard and deluxe. It prepares the following analysis showing budgeted...
! Required information [The following information applies to the questions displayed below.] Sweeten Company had no jobs in progress at the beginning of the year and no beginning inventories. It...

Verify that the program segment x := 2 z := x + y if y > 0

Question:

Step by Step Answer:

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

Discrete Mathematics and Its Applications

Students also viewed these Statistics questions