A demand-driven solver for constraint-based control flow analysis

Christian W. Probst. A demand-driven solver for constraint-based control flow analysis. PhD thesis, Saarland University, 2004. [doi]

Abstract

Abstract is missing.