Concepts of Programming Languages (11th Edition)
11th Edition
ISBN: 9780133943023
Author: Robert W. Sebesta
Publisher: PEARSON
expand_more
expand_more
format_list_bulleted
Textbook Question
Chapter 3, Problem 23PS
Compute the weakest precondition for each of the following assignment statements and postconditions:
- a. a = 2 * (b - 1) - 1 {a > 0}
- b. b = (c + 10) / 3 {b > 6)
- c. a = a + 2 * b - 1{a > 1}
- d. x = 2 * y + x - 1 {x > 11}
Expert Solution & Answer
Trending nowThis is a popular solution!
Students have asked these similar questions
Compute the weakest precondition for each of the following assignment statements and postconditions. x = 2 * y -5; y = x + 2; {y < 2}
For the following, compute the weakest precondition for the following assignment statement given the postcondition.
y = 2y – 1 { y > 1}
Compute the weakest precondition for each of the following assignment statements and selection constructs. Detailed steps are needed.
a = 2 * (b - 1) - 1 {a > 0}
a = 2 * b + 1
b = a - 3 {b < 0}
if (a == b)
b = 2 * a + 1
else
b = 2 * a
{b > 1}
Chapter 3 Solutions
Concepts of Programming Languages (11th Edition)
Ch. 3 - Prob. 1RQCh. 3 - Prob. 2RQCh. 3 - Prob. 3RQCh. 3 - Prob. 4RQCh. 3 - Prob. 5RQCh. 3 - Prob. 6RQCh. 3 - Prob. 7RQCh. 3 - Prob. 8RQCh. 3 - Prob. 9RQCh. 3 - What is the difference between a synthesized and...
Ch. 3 - Prob. 11RQCh. 3 - Prob. 12RQCh. 3 - Prob. 13RQCh. 3 - Prob. 14RQCh. 3 - Prob. 15RQCh. 3 - Prob. 16RQCh. 3 - Prob. 17RQCh. 3 - Prob. 18RQCh. 3 - Prob. 19RQCh. 3 - Prob. 20RQCh. 3 - Prob. 21RQCh. 3 - What does partial correctness mean for a loop...Ch. 3 - Prob. 23RQCh. 3 - Prob. 24RQCh. 3 - Prob. 25RQCh. 3 - Prob. 26RQCh. 3 - Prob. 27RQCh. 3 - Prob. 28RQCh. 3 - Prob. 29RQCh. 3 - The two mathematical models for language...Ch. 3 - Write EBNF descriptions for the following: a. A...Ch. 3 - Prob. 3PSCh. 3 - Prob. 4PSCh. 3 - Prob. 5PSCh. 3 - Prob. 6PSCh. 3 - Prob. 9PSCh. 3 - Prob. 10PSCh. 3 - Prob. 12PSCh. 3 - Prob. 15PSCh. 3 - Prob. 16PSCh. 3 - Prob. 17PSCh. 3 - Prob. 18PSCh. 3 - Compute the weakest precondition for each of the...
Additional Engineering Textbook Solutions
Find more solutions based on key concepts
Describe two properties that each candidate key must satisfy.
Modern Database Management
Assume the variables result, w, x, y, and z are all integers, and that w = 5, x = 4, y = 8, and z = 2. What val...
Starting Out with Java: From Control Structures through Objects (6th Edition)
Redo Programming Project 6 from Chapter 7, but this time use vectors instead of arrays. (It may help to do the ...
Problem Solving with C++ (10th Edition)
Identify and correct the errors in each of the following code segments assume that all variables have been prop...
Java How to Program, Early Objects (11th Edition) (Deitel: How to Program)
Write a program to print the value of EOF.
C Programming Language
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
- Write assignment statements for the following: Assign a value of 1 to between if n is in the range -k through +k, inclusive; otherwise assign a value of 0 Assign a value of 1 to uppercase if ch is an uppercase letter; otherwise, assign a value of 0. Assign a value of 1 to divisor if m is a divisor of n; otherwise, assign a value of 0.arrow_forwarda- Rewrite the following code segment using a multiple selection statement in thefollowing languages C, C++, or Java (Assume all variables are integer type):if (k = 1) or (k = 2) then j := 2 * k -1if (k = 3) or (k = 5) then j := 3 * k + 1if (k = 4) then j := 4 * k - 1if (k = 6) or (k = 7) or (k = 8) then j := k – 2 b- Consider the following case statement. Rewrite it using only two-way selection.case index - 1 of:2, 4: even := even + 1;1, 3: odd := odd + 1;0: zero := zero + 1;else error := trueend casearrow_forwardExercise 4 Implicit declarations are not good for reliability and writability because misspelled identifier names cannot be detected by the compiler. True or Falsearrow_forward
- EXPLAIN THIS C++ PROGRAM STEP BY STEP WITH LOGIC #include<iostream>using namespace std;class Circle{private: //To Store center (x,y) and radius r double x,y,r; static int number_of_circles;public: //parameterized constructor Circle(double x1,double y1,double r1){ x=x1; y=y1; r=r1; update_number_of_circles(); } //Copy constructor Circle(Circle &c){ x=c.x; y=c.y; r=c.r; update_number_of_circles(); } //member function to display the values x,y,r void display(){ cout<<"Center : ("<<x<<" , "<<y<<") Radius : "<<r<<endl; } static void update_number_of_circles(){ number_of_circles++; } static int get_number_of_circles(){ return number_of_circles; } friend void updateCircle(double x,double y,double r,Circle &c){ c.x=x; c.y=y; c.r=r; }};int Circle::number_of_circles=0;int main(){…arrow_forwardCompute the weakest precondition for the following assignment. a = 2 * (b - 1) - 1{a > 0}arrow_forwardDescribe a situation where the add operator in a programming languagewould not be commutative. ____________________________________________________________________ Let the function fun be defined asint fun(int *k) { *k += 4; return 3 * (*k) – 1;}Suppose fun is used in a program as follows:void main(){ int i = 10, j = 10, sum1, sum2;sum1 = (i/2) + fun(&i);sum2 = fun(&j) + (j/2);}What are the values of sum1 and sum2a. if the operands in the expressions are evaluated left to the right?b. if the operands in the expressions are evaluated right to the left?arrow_forward
- Solve the following questions: a)Solve the following postfix expressions i)2 3 + 1 - ii)3 4 - 10 + 7 2 3 * - 9 * /a) Convert the following infix to postfix expressions i)2 * 3 - 5 / 2 + 4 ii)1 * 2 * 3 * 4arrow_forwardWhy is it important in modern programming languages to include both pass-by-value & pass-by-reference? Why not just have one or the other? In your answer, describe the benefits of having each AND describe why it wouldn't be a good idea to have only one or the other.arrow_forwardalthough java has the rule that the left operand of every binary operator is evaluated before the right operand, most languages give the compiler the freedom to choose which operand is evaluated first. when expressions have side effects, the value of the expression can be different depending upon which order is used. give an example in c++ of an expression whose value depends upon the evaluation order. show the orders that produce different values and the values they produce. explain what side effect is the expression contains.(dont copy and coursehero ans please) need elaborative ansarrow_forward
- Operator overloading is extremely common in PL since + works differently for ints and floats and it is also common for programming languages to allow the developer to overload operators very uncommon in programming languages but some languages allow the programmer to overload all operators very uncommon in programming languages extremely common in PL since + works differently for ints and floats but it is uncommon for programming languages to allow the developer to overload operatorsarrow_forwardWrite a simple program in C++ to investigate the safety of itsenumeration types. Include at least 10 different operations onenumeration types to determine what incorrect or just silly things arelegal. Now, write a C# program that does the same things and run it todetermine how many of the incorrect or silly things are legal. Compareyour results.arrow_forwardAccording to the assignment rule, what should be the precondition in the following program segment?{precondition}x = x − 2{x = y}arrow_forward
arrow_back_ios
SEE MORE QUESTIONS
arrow_forward_ios
Recommended textbooks for you
- Database System ConceptsComputer ScienceISBN:9780078022159Author:Abraham Silberschatz Professor, Henry F. Korth, S. SudarshanPublisher:McGraw-Hill EducationStarting Out with Python (4th Edition)Computer ScienceISBN:9780134444321Author:Tony GaddisPublisher:PEARSONDigital Fundamentals (11th Edition)Computer ScienceISBN:9780132737968Author:Thomas L. FloydPublisher:PEARSON
- C How to Program (8th Edition)Computer ScienceISBN:9780133976892Author:Paul J. Deitel, Harvey DeitelPublisher:PEARSONDatabase Systems: Design, Implementation, & Manag...Computer ScienceISBN:9781337627900Author:Carlos Coronel, Steven MorrisPublisher:Cengage LearningProgrammable Logic ControllersComputer ScienceISBN:9780073373843Author:Frank D. PetruzellaPublisher:McGraw-Hill Education
Database System Concepts
Computer Science
ISBN:9780078022159
Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:McGraw-Hill Education
Starting Out with Python (4th Edition)
Computer Science
ISBN:9780134444321
Author:Tony Gaddis
Publisher:PEARSON
Digital Fundamentals (11th Edition)
Computer Science
ISBN:9780132737968
Author:Thomas L. Floyd
Publisher:PEARSON
C How to Program (8th Edition)
Computer Science
ISBN:9780133976892
Author:Paul J. Deitel, Harvey Deitel
Publisher:PEARSON
Database Systems: Design, Implementation, & Manag...
Computer Science
ISBN:9781337627900
Author:Carlos Coronel, Steven Morris
Publisher:Cengage Learning
Programmable Logic Controllers
Computer Science
ISBN:9780073373843
Author:Frank D. Petruzella
Publisher:McGraw-Hill Education
Structured Chart; Author: Tutorials Point (India) Ltd.;https://www.youtube.com/watch?v=vdUO-sGA1DA;License: Standard YouTube License, CC-BY
Introduction to Structure Charts; Author: Christopher Kalodikis;https://www.youtube.com/watch?v=QN2bjNplGlQ;License: Standard Youtube License