On Probabilistic Techniques for Data Flow Analysis

Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky. On Probabilistic Techniques for Data Flow Analysis. Electronic Notes in Theoretical Computer Science, 190(3):59-77, 2007. [doi]

Abstract

Abstract is missing.