Answered: Compute the weakest precondition for…

Compute the weakest precondition for the following sequence of assignment statements and its post-condition: p = q - 3; p * 3 + 6; {Q: k <= 12} k

C++ Programming: From Problem Analysis to Program Design

8th Edition

ISBN:9781337102087

Author:D. S. Malik

Publisher:D. S. Malik

Chapter13: Overloading And Templates

Section: Chapter Questions

Problem 2PE: Redo Programming Exercise 1 by overloading the operators as nonmembers of the classrectangleType....

See similar textbooks

Related questions

Q: Re-write the following Factorial function using the Lambda expression static int Factorial(int…

A: ALGORITHM:- 1. Take input for the number whose factorial needs to be calculated. 2. Pass the value…

Q: . avoid plagiarism Write a rule in Prolog called hailstone(x) that, given a positive integer x,…

A: A Prolog program which represents that it is a set of predicates. Predicates which used to define…

Q: 3. Consider the abstract syntax for the following expression language. The constant Zero denotes 0,…

A: Here we are given the syntax for the expression language and we need to find the semantics for it .…

Q: Consider the following C++ code segment: int d = 20; int f(int b) { static int c = 0; c *= b;…

A: Let's go through each variable (a, b, c, d) step by step:Variable a :Type Binding: Automatic (it's…

Q: Describe Confusion between the Equality Operator (==) and the Assignment Operator (=).

A: Generally equal sign “=” is known as assignment operator. This operator is used for store the value…

Q: Describe all the situations in which invoking inline functions will not provide the expected…

A: Answer - Inline Functions- The inline keyword instructs the compiler to substitute the code within…

Q: Compute the following assignment statements an eake precondition for th postconditions. (i) a : = a…

A: The Answer is

Q: Problem 3: id: String name: String balance: double Account + Account (id: String, name: String) +…

A: According to the information given:- We have to follow the instruction mentioned in order to get…

Q: Let L₁ = {aa, bb}, L₂ = {A, a, aa}, L3 = {x | x = {a,b}* ^ |x| ≤ 3} = {A, a, b, aa, ab, ba, bb, aaa,…

A: The question asks us to evaluate the following expression:(L₁ ∩ L₃) L₂where:L₁ = {aa, bb}L₂ = {Λ, α,…

Q: 4. A benchmark program is run on an 80 MHz processor. Based on the recorded measurements shown…

A: Effective CPI = total # of clock / total # of instructions = (30000+45000*2+15000*2+10000*2) /100000…

Q: Compute the weakest precondition for each of the following sequencesof assignment statements and…

A: 1. Given assignment statements and their postconditions: a = 2 * b + 1 b = a – 3 {b < 0}…

Q: Explain assert function.

A: Assert function Assertions are statements used to test assumptions made by programmer. It will…

Q: Compute the weakest precondition for each of the following assignment statements and postconditions.…

A: We can compute the weakest precondition for a given assignment statement and postcondition by…

Q: a. a * b - 1 + c b. a * (b - 1) / c mod d с. (а - b) / с& (d * e /а - 3) d. -a or c = d and e e. a >…

A: (a * b)1 (Since * has high precedence than other operator present in question so we…

Q: described Mancala variant in C++ in the pictures. Player 1 will be a human while the other will be a…

A: It is defined as a direct descendant of C programming language with additional features such as type…

Q: What does the ASSUME directive aim to achieve

A: The ASSUME directive is used to inform the compiler of certain assumptions that the programmer is…

Q: Consider the following C++ code segment: int d = 20; int f(int b) { static int c = 0; c *= b;…

A: In the intricate world of programming, understanding the lifecycle and properties of variables is…

Q: def optimize_tail_calls(original_scheme_eval): """Return a properly tail recursive version of an…

A: Tail Recursion # A tail call is a call expression in a tail context:# The last body sub-expression…

Question

Q2)
Compute the weakest precondition for the following sequence
of assignment statements and its post-condition:
p = q
3;
k
p * 3 + 6;
{Q: k <= 12}

Expert Solution

This question has been solved!

Explore an expertly crafted, step-by-step solution for a thorough understanding of key concepts.

This is a popular solution!

SEE SOLUTION Check out a sample Q&A here

Step 1

VIEW

Step 2

VIEW

Trending now

This is a popular solution!

Step by step

Solved in 2 steps

SEE SOLUTION Check out a sample Q&A here

Knowledge Booster

Learn more about

Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, computer-science and related others by exploring similar questions and additional content below.

Similar questions

Mark the following statements as true or false. All members of a struct must be of different types. (1) A struct is a definition, not a declaration. (1) A struct variable must be declared after the struct definition. (1) A struct member is accessed by using the operator :. (2) The only allowable operations on a struct are assignment and member selection. (2) Because a struct has a finite number of components, relational operations are allowed on a struct. (2) Some aggregate input/output operations are allowed on a struct variable. (2) A struct variable can be passed as a parameter either by value or by reference. (4) A function cannot return a value of the type struct. (4) An array can be a member of a struct. (6, 7) A member of a struct can be another struct. (8)
1. Mark the following statements as true or false. a. An identifier must start with a letter and can be any sequence of characters. (1) b. In C++, there is no difference between a reserved word and a predefined identifier. (1) c. A C++ identifier cannot start with a digit. (1) d. The collating sequence of a character is its preset number in the character data set. (2) e. Only one of the operands of the modulus operator needs to be of type int. (3) f. If ; and ;, then after the statement ; the value of b is erased. (6) g. If the input is 7 and x is a variable of type int, then the statement ; assigns the value 7 to x. (6) h. In an output statement, the newline character may be a part of the string. (10) i. In C++, all variables must be initialized when they are declared. (7) j. In a mixed expression, all the operands are converted to floating-point numbers. (4) k. Suppose . After the statement ; executes, y is 5 and x is 6. (9) i. Suppose . After the statement ; executes, the value of a is still 5 because the value of the expression is not saved in another variable. (9)
(Numerical) Write a program that tests the effectiveness of the rand() library function. Start by initializing 10 counters to 0, and then generate a large number of pseudorandom integers between 0 and 9. Each time a 0 occurs, increment the variable you have designated as the zero counter; when a 1 occurs, increment the counter variable that’s keeping count of the 1s that occur; and so on. Finally, display the number of 0s, 1s, 2s, and so on that occurred and the percentage of the time they occurred.
Mark the following statements as true or false: a. To use a predefined function in a program, you need to know only the name of the function and how to use it. (1) b. A value-returning function returns only one value. (2, 3) c. Parameters allow you to use different values each time the function is called. (2, 7, 9) d. When a return statement executes in a user-defined function, the function immediately exits. (3, 4) e. A value-returning function returns only integer values. (4) f. A variable name cannot be passed to a value parameter. (3, 6) g. If a C++ function does not use parameters, parentheses around the empty parameter list are still required. (2, 3, 6) h. In C + + , the names of the corresponding formal and actual parameters must be the same. (3, 4, 6) i. A function that changes the value of a reference parameter also changes the value of the actual parameter. (7) j. Whenever the value of a reference parameter changes, the value of the actual parameter changes. (7) k. In C++, function definitions can be nested; that is, the definition of one function can be enclosed in the body of another function. (9) l. Using global variables in a program is a better programming style than using local variables, because extra variables can be avoided. (10) m. In a program, global constants are as dangerous as global variables. (10) n. The memory for a static variable remains allocated between function calls. (11)
(Program) Include the Date class definition in Class 11.1 in a complete program. Your program should verify that each member function works correctly.
(Conversion) a. Write a C++ program to convert meters to feet. The program should request the starting meter value, the number of conversions to be made, and the increment between metric values. The display should have appropriate headings and list the meters and the corresponding feet value. If the number of iterations is greater than 10, have your program substitute a default increment of 10. Use the relationship that 1 meter = 3.281 feet. b. Run the program written in Exercise 6a on a computer. Verify that your program begins at the correct starting meter value and contains the exact number of conversions specified in your input data. c. Modify the program written in Exercise 6a to request the starting meter value, the ending meter value, and the increment. Instead of the condition checking for a fixed count, the condition checks for the ending meter value. If the number of iterations is greater than 20, have your program substitute a default increment of (ending value - starting value) / 19.
(Conversion) Write a C++ program that converts gallons to liters. The program should display gallons from 10 to 20 in 1-gallon increments and the corresponding liter equivalents. Use the relationship that 1gallon=3.785liters.
When you borrow money to buy a house, a car, or for some other purpose, you repay the loan by making periodic payments over a certain period of time. Of course, the lending company will charge interest on the loan. Every periodic payment consists of the interest on the loan and the payment toward the principal amount. To be specific, suppose that you borrow $1,000 at an interest rate of 7.2% per year and the payments are monthly. Suppose that your monthly payment is $25. Now, the interest is 7.2% per year and the payments are monthly, so the interest rate per month is 7.2/12 = 0.6%. The first months interest on $1,000 is 1000 0.006 = 6. Because the payment is $25 and the interest for the first month is $6, the payment toward the principal amount is 25 6 = 19. This means after making the first payment, the loan amount is 1,000 19 = 981. For the second payment, the interest is calculated on $981. So the interest for the second month is 981 0.006 = 5.886, that is, approximately $5.89. This implies that the payment toward the principal is 25 5.89 = 19.11 and the remaining balance after the second payment is 981 19.11 = 961.89. This process is repeated until the loan is paid. Write a program that accepts as input the loan amount, the interest rate per year, and the monthly payment. (Enter the interest rate as a percentage. For example, if the interest rate is 7.2% per year, then enter 7.2.) The program then outputs the number of months it would take to repay the loan. (Note that if the monthly payment is less than the first months interest, then after each payment, the loan amount will increase. In this case, the program must warn the borrower that the monthly payment is too low, and with this monthly payment, the loan amount could not be repaid.)
(Data processing) Your professor has asked you to write a C++ program that determines grades at the end of the semester. For each student, identified by an integer number between 1 and 60, four exam grades must be kept, and two final grade averages must be computed. The first grade average is simply the average of all four grades. The second grade average is computed by weighting the four grades as follows: The first grade gets a weight of 0.2, the second grade gets a weight of 0.3, the third grade gets a weight of 0.3, and the fourth grade gets a weight of 0.2. That is, the final grade is computed as follows: 0.2grade1+0.3grade2+0.3grade3+0.2grade4 Using this information, construct a 60-by-7 two-dimensional array, in which the first column is used for the student number, the next four columns for the grades, and the last two columns for the computed final grades. The program’s output should be a display of the data in the completed array. For testing purposes, the professor has provided the following data: