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
andsave
operations, there is no change incontinue
. - the value of
continue
read from stack is never used(apart from putting it back to stack).