Hpc Liveness Analysis

Tiger in Stratego -- Compilation by Program Transformation
Liveness Analysis

This is the fifth set of HpcExercises.

  1. Finish the implementation in asm/Liveness.r by providing the code to compute the data flow equations for the liveness problem.

  1. Write a stub to test it on some ASM programs.