Question: Consider the following code fragment. Assume the loop body follows the given invariant and progress metric. int x = 20, y = 2, z

Consider the following code fragment. Assume the loop body follows the given

Consider the following code fragment. Assume the loop body follows the given invariant and progress metric. int x = 20, y = 2, z = 10 /** updates x, y, z maintains x/y = #z * decreases Z */ while (x*y != 1000) { } What are possible values for the variables after the end of the loop?

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer

Step: 1 Unlock

The given loop has the following annotations 1 Updates It indicates which variables are updated within the loop In this case its x y and z 2 Maintains ... 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

Students Have Also Explored These Related Programming Questions!

Domestic Cars Foreign Cars Car List Price in K Sale Price in K Days to Sell List Price in K Sale Price in K Days to Sell 1 9 8.3 40 36.7 34.1 39 2 34 30.2 5 52 51.5 26 3 23.9 19.3 48 11.1 9.6 27 4...

1.) Pineapple Inc. issued a common stock for $30,000 and ended the period with net cash from financing of -$5,000. If the only other financing company was a payment of cash dividend, what is the...

Consider the following code fragment in a high-level language: Assume that Q is an array of 32-byte records and the VAL field is in the first 4 bytes of each record. Using x86 code, we can compile...

The following code fragment implements Horner?s rule for evaluating a polynomial The following code fragment implements Horner?s rule for evaluating a polynomial given the coefficients a 0, a 1 ??.,a...

Let A, B be sets. Define: (a) the Cartesian product (A B) (b) the set of relations R between A and B (c) the identity relation A on the set A [3 marks] Suppose S, T are relations between A and B, and...

The new line character is utilized solely as the last person in each message. On association with the server, a client can possibly (I) question the situation with a client by sending the client's...

(a) In SystemVerilog, what is the difference between: (i) The ternary operator ? and if...then...else statements? [2 marks] (ii) always_ff and always_comb? [2 marks] (iii) Blocking, non-blocking and...

re Regular Languages and Finite Automata (a) Let L be the set of all strings over the alphabet {a, b} that end in a and do not contain the substring bb. Describe a deterministic finite automaton...

Briefly describe ASCII and Unicode and draw attention to any relationship between them. [3 marks] (b) Briefly explain what a Reader is in the context of reading characters from data. [3 marks] A...

A creative engineer suggests structuring the TLB so that not all the bits of the presented address need match to result in a hit. Suggest how this might be achieved, and what might be the costs and...

Portray in words what transforms you would have to make to your execution to some degree (a) to accomplish this and remark on the benefits and detriments of this thought.You are approached to compose...

39045, d1 =3, d2=9, d3= 10, d4= 4, d5= 5. A time study of a manufacturing process producing spare parts was conducted for 3 hours and 40 minutes. The observer recorded time continuously-recording...

8. Using (4.6), find the polynomial P2(x) that interpolates the following data. In each case, simplify (4.6) as much as possible. () (0, 1), (1, 2), (2, 3)} (b) {(0, 1), (1, 1), (2, 1)} Comment on...

What is the test approach section of the test startegy document

Grand River Company produces a high-quality insulation material that passes through two production processes. Data for November for the first process follow: Required: 1. Assume that the company uses...

Green House Inc. processes cleaning fluid used as a base for household cleaning products produced by various distributors. Two departments are involved: Mixing and Heating. Data relating to litres of...

Categorize each of the following as a capital expenditure or a revenue expenditure (expensed) for Dalton & Sons and explain why: 1. In accordance with the long-term maintenance plan, paid for a newly...

Healthcheck Corp. manufactures an antacid product that passes through two departments. Data for June for the first department follow: The beginning work in process inventory was 80% complete with...

Faber Brot is a bread-baking company located in Aachen, Germany, near the Dutch border. The company uses a process costing system for its single producta popular pumper-nickel bread. Faber Brot has...

0460ulzThisThisDetermine the following limit, using or - when appropriate, or state that it does not exist.lim?cscx-Select the correct choice and, if necessary, fill in the answer box to complete...

Consider the following code fragment using a List ADT: Which one of the following correctly shows what is output when the code above is executed? 76543210 01234567 end list 76543210 end list 01234567...

. Consider the following code fragment MAIN Ox10000 CMPA.L SUB . L OR.L BNE #0x8000,%A1 (AA),%D5 #0xFFFFFFFF , %D4 LOOP LOOP Write down the machine code at the corresponding memory location of the...

Consider a 64-bit computer with a simplified memory hierarchy. This hierarchy contains a single cache and an unbounded backing memory. The cache has the following characteristics: Direct-Mapped,...

Write a class named Tree which represents a tree species. This class tracks several properties associated with drawing the tree: its name, how long each branch section is, the colour of the branches,...

Write a class named Forest which represents a set of specific trees. The Forest class tracks the set of trees, along with how old each tree is. You will also need to include your Tree class from the...

Problem 2: Analyze this! (15 Pts Consider the following code fragment. For each write statement, indicate where the I/O will be sent (e.g. file name, stdout, or an error). Also, show the state of the...