Question: This question concerns the following code. def mys (n) : 'Pre: n is an integer >0 , m=0 while not(n==0) : n=n/2# This is integer

This question concerns the following code. def mys (n) : "'Pre: n is an integer >0 ", m=0 while not(n==0) : n=n/2# This is integer division m=m+1 return m A. Part (a) [3 MARKs] Prove that the code establishes and maintains the following loop invariant: I(n):n is integer. B. Part (b) [2 Marks] Is n a variant for the loop? Your answer must be one of the following: Yes: (Write your explanation why yes) No: (Write your explanation why no) C. Part (c) [2 MARKs] State the postcondition of this function

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer

Step: 1 Unlock 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 Databases Questions!

Question 1. [7 MARKS] This question concerns the following code. def mys (n): , 'Pre: n is an integer >0,", m=0 while not(n==0) : n=n/2# This is integer division m=m+1 return m A. Part (a) [3 MARKs]...

Question 1. [7 MARKS] This question concerns the following code. defmys(n): , , Pre:n is an integer >0,, m=0 while not (n==0): n=n/2 This is integer division m=m+1 return m A. Part (a) [3 MARKS ]...

s1 educated (SSE) student for every three public school educated (PSE) students. Reasoning that students are not very dissimilar from threads, he suggests the following entry and exit routines be...

ANSI-SPARC6 Programming Language Compilation Write notes on each of the following topics: (a) the implementation of labels and jumps in a recursive, block structured programming language [7 marks]...

Question 1 Consider the following function: 1. def mystery(n, m) : 2. if n == 0 : # special case 1 3. return 0 4. if n == 1 : # special case 2 5. return m 6. return m + mystery(n - 1), m) What will...

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...

Prolog You are approached to compose a Prolog program to work with twofold trees. Your code shouldn't depend on any library predicates and you ought to expect that the mediator is running without...

This question involves the use of AGGREGATE linear PYTHOIN regression on the Auto data set. (a) Perform a simple linear regression with mpg as the response and horsepower as the predictor. Describe...

Let i and j be positive integers. (i) Prove that there exist natural numbers a and b such that ai = bj+gcd(i, j). You may use standard results provided that you state them clearly. [4 marks] (ii) Let...

answer all questions promptly What is the maximum segment length of a 100Base-FX netdwork,Thelast character('X', etc) refers to the line code method used. Line code is a pattern of voltage, current...

For each order, list the order ID, customer ID, order date, and most recent date among all orders. Show how you constructed this query using a Venn diagram.

Two-tailed test, = 0.02 Find the critical value(s) and rejection region(s) for the type of z-test with level of significance . Include a graph with your answer.

Rustoleum Corporation's Earnings Before Interest and Taxes ( EBIT ) is not enough to cover the interest expense due to its bondholders this year. Will Rustoleum Corporation be permitted by law to...

Compared with half a century ago, adoption has become _ _ _ _ _ _ _ _ _ common, but it is more open and acceptabl e , so we probably discuss it _ _ _ _ _ _ _ . fill in the blanks more or much less or...

Describe how customers evaluate services and what determines their satisfaction.

Evaluate: If the United States deported, say, 1 million unauthorized immigrants, the number of unemployed workers in the United States would decline by 1 million.

If a person favors the free movement of labor within the United States, is it then inconsistent to also favor restrictions on the international movement of labor? Why or why not?