Consider evaluating the expression

Reference no: EM131041733

Given a one-argument procedure p and an object a, p is said to ``halt'' on a if evaluating the expression (p a) returns a value (as opposed to terminating with an error message or running forever). Show that it is impossible to write a procedure halts? that correctly determines whether p halts on a for any procedure p and object a. Use the following reasoning: If you had such a procedure halts?, you could implement the following program:
(define (run-forever) (run-forever))

Now consider evaluating the expression (try try) and show that any possible outcome (either halting or running forever) violates the intended behavior of halts?.

Reference no: EM131041733

Questions Cloud

Are affirmative action plan goals evidence of discrimination : Are Affirmative Action Plan Goals Evidence of Discrimination?. Xerox Corporation manufactures and markets copy machines and also provides facilities management services through Xerox Business Services (XBS). In the 1990s, Xerox started a Balanced Wor..

Determining the monthly payments : Jake wants to buy a new truck and he has saved $2,350 for a down payment and can make monthly payments of $575. The dealer will finance the truck over 60 months at 1.2% interest with monthly payments. Jack wants a truck costing $35,999; can Jake..

Start a new project and package called finalproject : Start a new project and package called FinalProject and set up your programs inside. his problem is designed to give you experience at creating arrays of objects and a custom constructor.

Marketing ethics and global marketing : At the end of Unit two, a 1600 word paper is due that summarizes your research with respect to one of the following topics: marketing ethics, global marketing, or ‘social media as a marketing tool’.

Consider evaluating the expression : Given a one-argument procedure p and an object a, p is said to ``halt'' on a if evaluating the expression (p a) returns a value (as opposed to terminating with an error message or running forever).

Beginning of retirement : Approximately how much should be accumulated by the beginning of retirement to provide a $2,500 monthly check that will last for 25 years, during which time the fund will earn 8% interest with monthly compounding?

Which side has the more persuasive argument : On what basis could County argue that it is conforming with the criterion at 1715 (3)? On what basis could the state agency argue that County’s application is nonconforming with that criterion? In your opinion, which side has the more persuasive argu..

Question regarding the constant growth model : Kenny Smith, an analyst, believes investors should seek a 11.00% return to hold the stock. If we value Shack Diesel using the constant growth model, what dividend growth rate would justify these assumptions?

Discuss the internal and external drivers of quality : Compare and contrast external and internal drivers on quality and explain how they will benefit Electronic Medical Records by reviewing positive and negative impact. You will discuss the impact of internal and external drivers for hospitals and pr..

User Account

All Pages