Prove Total

C++ for Engineers and Scientists
4th Edition
ISBN:9781133187844
Author:Bronson, Gary J.
Publisher:Bronson, Gary J.
Chapter12: Adding Functionality To Your Classes
Section12.5: Virtual Functions
Problem 5E
icon
Related questions
Question
Prove Total correctness of the following code block, and list all axioms and
inference rules used to determine this:
{ radicand> 100}
root = 1.0
one = 1.0
tenth = 0.1
hundredth
thousandth
0.01
= 0.001
while(root * root < radicand ) {
) {
=
if ( (root + one) * (root + one) < radicand) {
root =root + one;
} else if
root root + tenth;
} else if ( (root + hundredth) * (root + hundredth) <
radicand){
( (root + tenth) * (root + tenth) < radicand
root = root + hundredth;
root + thousandth;
} else {
}
root
Transcribed Image Text:Prove Total correctness of the following code block, and list all axioms and inference rules used to determine this: { radicand> 100} root = 1.0 one = 1.0 tenth = 0.1 hundredth thousandth 0.01 = 0.001 while(root * root < radicand ) { ) { = if ( (root + one) * (root + one) < radicand) { root =root + one; } else if root root + tenth; } else if ( (root + hundredth) * (root + hundredth) < radicand){ ( (root + tenth) * (root + tenth) < radicand root = root + hundredth; root + thousandth; } else { } root
Expert Solution
steps

Step by step

Solved in 2 steps

Blurred answer
Knowledge Booster
Problems on numbers
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
  • SEE MORE QUESTIONS
Recommended textbooks for you
C++ for Engineers and Scientists
C++ for Engineers and Scientists
Computer Science
ISBN:
9781133187844
Author:
Bronson, Gary J.
Publisher:
Course Technology Ptr