Question
What is the return type of bounded-sqrt,bounded-sqrt-iter?
Answers
The problem is in the conditional that has clauses that return values from different types: Number and Boolean. In order to accommodate such conditionals we allow union types in contract specifications. The resulting contracts:
Signature: bounded-sqrt(x,bound)
Purpose: To compute the square root of x, using Newton’s approximations method, if number of iterations does not exceed ’bound’
Type: [Number*Number -> Number union Boolean]
Example:
(sqrt 16. 7) should produce 4.000000636692939(sqrt 16. 4) should produce #f
Pre-conditions: x >= 0, bound >= 0Signature: bounded-sqrt-iter(guess,x,bound)
Purpose: To compute the square root of x, starting with ’guess’ as initial guess, if number of iterations does not exceed ’bound’
Type: [Number*Number*Number -> Number union Boolean]
Example:
(sqrt 1 16. 7) should produce 4.000000636692939(sqrt 1 16. 4) should produce #fPre-conditions: x >= 0, bound >= 0, guess != 0   Your Comment




  • Contributors: *,
More Software Questions..
What is the inputsplit in map reduce software?
What is software configuration management?
What Is Java Api For Xml-based Rpc (jax-rpc)?
How can you implement fine-grained auditing?
What is IBM’s simple explanation for Big Data’s four critical features?
What is static synchronized method in JDBC API? Give an example?
What does the NULLIF function do?
What happens if a start method is not invoked and the run method is directly invoked?
Should we override finalize method
what is the difference between mysql_fetch_array and mysql_fetch_object?
How will XML affect my document links?
Why to use Style Sheets?
What are Filters in MVC?
Can you explain Application layer in OSI model?
How to define new testplan attributes?
What are the minimum system requirements to run Photoshop? Is it possible to run Photoshop over linux?
Which oracle package is used to manage the oracle lock management services?
What is Latch Up? Explain Latch Up with cross section of a CMOS Inverter. How do you avoid Latch Up?
What is marker interface?
What types of partitioning are there for BW?


Search
Can you Answer!!
  • Q How to store current url using selenium 2.0
  • Q What is model object in Ember.js?
  • Q Which is the only river that flows through the Thar Desert?
  • Q Why did your choose your major?
  • Q Each keyword related to a function defined in function library. Is this statement True?
  • Q What is ACH and NACHA?
  • Q Can you explain the complete flow of mvc?
  • Q 'Oruma' is Linux based software developed by:
  • Q How should needles and syringes be cleaned?
  • Q Where does the start_tabnav gets informations for tabs rendering in ruby rail?
  • Q What is most likely the problem if a circle or polygon is not 100% smooth on the edges after it's drawn?