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