Concepts of Programming Languages (11th Edition)
11th Edition
ISBN: 9780133943023
Author: Robert W. Sebesta
Publisher: PEARSON
expand_more
expand_more
format_list_bulleted
Videos
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
In C++
1. Declare, define, and test the following function to check for order by name:bool isSortedByName(const Student * sa, int size);2. Declare, define, and test the following function to check for order by ID:bool isSortedById(const Student * sa, int size);3. To print out a Boolean value as true or false, rather than 1 or 0, precede each with boolalpha:cout << "True is " << boolalpha << true << ", False is " << boolalpha << false <<endl;
int p =5 , q =6;
void foo ( int b , int c ) {
b = 2 * c ;
p = p + c ;
c = 1 + p ;
q = q * 2;
print ( b + c );
}
main () {
foo (p , q );
print p , q ;
}
Explain and print the output of the above code when the parameters to the foo function are passed by value. Explain and print the output of the above code when the parameters to the foo function are passed by reference. Explain and print the output of the above code when the parameters to the foo function are passed by value result. Explain and print the output of the above code when the parameters to the foo function are passed by name.
Write the reccurence relation for the following function (in C-style code)
void T(n){
if(n>1){
int j;
for(j = n; j>1; j = j/2);
T(n/2); T(n/2);
}
}
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
- Redo Programming Exercise 1 by overloading the operators as nonmembers of the classrectangleType. Write a test program that tests various operations on the classrectangleType.arrow_forwardplease solve it, C++arrow_forwardWrite 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_forward
- Question 13 In C programming, construct an expression to express the following test condition: Tests that str1 is not equal to "xyz" and the length of str1 is less than or equal to 3arrow_forwarda) Compute the weakest precondition for each of the following assignment statements and post conditions: i) a = 2 * (b + 1) ii)b = 1 {a > 0} 2) / 3 {b > 2} - (c -arrow_forward1. Compute the weakest preconditions of the following statements for the given postconditions. Assume all variables are integers. (a) a = 2*b + 1; b = a*a + 1; { a > 10 } (b) if (b > 0) a = 4*b - 10; else a = b + 172; {a>0}arrow_forward
- The differences between value types and reference types applies to parameters. True Falsearrow_forwardc++arrow_forwardint func(int a, int b) { return (aarrow_forwardOperator 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_forwardLocal declarations are those that are kept in the memory of the computer; but, how exactly are they kept in memory? If reaching one's objective can be done without making use of local declarations, then doing so is a waste of time. Why bother using value parameters when you can just use references as your arguments in any function? How crucial are value parameters when it comes to the processing of programmed data?arrow_forwardThe following question is related to C programming (struct and function) Task-1: Suppose you and your friends go to have breakfast in a restaurant. Each of you orders Paratha, Vegetable, and Mineral Water. Treat each of the ordered items as structures and each of the structures will have two properties which are: quantity and unit price. Each property of the structure will be taken as input from the user. After taking all the inputs calculate what is the total bill and also, take input from the user on how many people are there in total. Lastly calculate how much each person will have to pay and print it (Note: This value will be a float). Sample Input: Quantity Of Paratha: 25 Unit Price: 10 Quantity Of Vegetables: 5 Unit Price: 20 Quantity Of Mineral Water: 20 Unit Price: 20 Number of People: 6 Sample Output: Individual people will pay: 125.00 tkarrow_forwardarrow_back_iosSEE MORE QUESTIONSarrow_forward_ios
Recommended textbooks for you
C++ Programming: From Problem Analysis to Program...Computer ScienceISBN:9781337102087Author:D. S. MalikPublisher:Cengage Learning
C++ Programming: From Problem Analysis to Program...
Computer Science
ISBN:9781337102087
Author:D. S. Malik
Publisher:Cengage Learning
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