A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA Programs.

Benoit Boissinot, Florian Brandner, Alain Darte, Benot Dupont de Dinechin, Fabrice Rastello

Browse the full APLAS paper archive.