Question

Compute the weakest precondition for each of the following assignment statements and postconditions: a = 2...

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

a = 2 * (a - 1) - 1 {a > 7}

a = b + 2 * b - 1 {a > 2}

Engineering   Computer-Science   
0 0
Add a commentTranscribed image text
Next >

Homework Answers

Answer #1

The solution is provided below with explanations.

Thank you. Happy to help you.

0 0
Know the answer?
Your Answer:

Post as a guest

Your Name:

What's your source?

Earn Coins

Coins can be redeemed for fabulous gifts.

Log In

Sign Up

Not the answer you're looking for?
Ask your own homework help question
Similar Questions
(6 pts.) Using the grammar below: <assign> -> <id> = <expr> <expr> -> <expr> + <term>...
(6 pts.) Using the grammar below: <assign> -> <id> = <expr> <expr> -> <expr> + <term> | <term> <term> -> <term> * <factor> | <factor> <factor> -> (<expr>) | <id> <id> -> A | B | C Show a parse tree, leftmost, and rightmost derivation for each of the following statements: A = ( A + B ) * C A = B * (C * (A + B)) (5 pts.) Consider the following grammar: <S> -> <A> a <B>...
Problem 6 (20% total).  Show your work step by step to receive full credit. Q1) (5%) Suppose...
Problem 6 (20% total).  Show your work step by step to receive full credit. Q1) (5%) Suppose {Z > Y} is the post-condition of the assignment statement         shown below.   Compute the weakest precondition for this statement:                           Z = X - 2*Y -10; Q2) (7%) 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} Q3) (8%) Compute the...
Which of the following is NOT true regarding assignment statements in VBA? A Assignment statements Code...
Which of the following is NOT true regarding assignment statements in VBA? A Assignment statements Code use the equal sign (“=”) operator. B Assignment statements assign what is on the left-hand side of the equal sign to the right-hand side of the operator. C Assignment statements assign what is on the right-hand side of the equal sign to the left-hand side of the operator. D All of these are true regarding assignment statements in VBA.
. A) Which one of the following acids has the weakest conjugate base? (4 Pts.)     ...
. A) Which one of the following acids has the weakest conjugate base? (4 Pts.)      Acid-1 (Ka = 2 x 10-5) ; Acid-2 (Ka = 4 x 10-7); Acid-3 (Ka = 3 x 10-6); Acid-4 (Ka = 1 x 10-4)      B) Which one of the following bases has the strongest conjugate acid?       Base-1 (Kb = 2 x 10-5) ; Base-2 (Kb = 4 x 10-7); Base-3 (Kb = 3 x 10-6); Base-4 (Kb = 1 x 10-4)
Ex#5: Given the following grammar for a simple assignment statements. <assign> --> <id> = <expr> <id>...
Ex#5: Given the following grammar for a simple assignment statements. <assign> --> <id> = <expr> <id> --> A | B | C <exp> --> <id> + <expr> | <id> * <expr> | (<expr>) | <id> Show a leftmost derivation and a parse tree of the following statement: A = A *(B + (C * A))
5.1 Given the following probability distributions: a. Compute the expected value for each distribution. b. Compute...
5.1 Given the following probability distributions: a. Compute the expected value for each distribution. b. Compute the standard deviation for each distribution. c. Compare the results of distributions A and B. Distribution A Distribution B xi P1X = xi2 xi P1X = xi2 0 0.07 0 0.50 1 0.08 1 0.20 2 0.15 2 0.15 3 0.20 3 0.08 4 0.50 4 0.07
For each of the following, compute the numerical answer. a) How many integers from 1 to...
For each of the following, compute the numerical answer. a) How many integers from 1 to 100 are multiples of 4 or 7? b) If you only had to answer 7 questions, in how many ways could you do so? (There are total 10 questions)
Rank the following bases in order of increasing base strength and explain why. (1 = weakest,...
Rank the following bases in order of increasing base strength and explain why. (1 = weakest, 4 = strongest) NHCl2 NH2Cl NH3 NCl3
Refer to Critical Thinking Assignment – Option 2 in Module 2. Your tasks begin by generating...
Refer to Critical Thinking Assignment – Option 2 in Module 2. Your tasks begin by generating and executing the SQL statements to create the Sales and Purchased Items tables. Next, you will develop and execute the SQL statements to populate the 2 database tables from the data in their respective tables in the Critical Thinking Assignment. Finally, you will write and execute queries to display all attributes (columns) and tuples (rows) in the 2 database tables. Important reminder, refer to...
Consider an assignment problem to assign 2? people to do ? jobs (2? ≥ ?). Each...
Consider an assignment problem to assign 2? people to do ? jobs (2? ≥ ?). Each job must be assigned to exactly one person. The first ? people (i.e., persons 1,2, ⋯ , ?) are female and the rest (i.e., persons ? + 1, ? + 2, ⋯ ,2?) are male. It costs ??? to assign person ? to do job ? (? = 1, ⋯ ,2?;? = 1, ⋯ , ?). In addition, it is required that the difference...
ADVERTISEMENT
Need Online Homework Help?

Get Answers For Free
Most questions answered within 1 hours.

Ask a Question
ADVERTISEMENT