Racket代写 | CS450 Homework Assignment 6
Homework Assignment 6
For instance, (mlist eff-bind eff-pure (list op1 op2 op3)) is equivalent to the code below
For instance, (mapply eff-bind eff-pure * op1 op2 op3) is equivalent to the code below
Manually graded questions
6. Manually graded. Consider memory management via reference counting and the increment count op- eration. Suppose that the reference count algorithm is faulty and the reference count overflows resetting back to zero. Discuss if overflowing the reference count affects soundness or completeness of memory management.