Chapter 5, Computing with Register Machines

Exercise 5.6


Restoring and saving continue in afterfib-n-1 can be reomoved without any effect.

Because:

  • Between the restore and save operations, there is no change in continue.
  • the value of continue read from stack is never used(apart from putting it back to stack).