Algebraic Techniques for the Optimization of Control Flow Checking

Guevara Noubir, Berthe Y. Choueiry. Algebraic Techniques for the Optimization of Control Flow Checking. In FTCS. pages 128-137, 1996.

Abstract

Abstract is missing.