The Powerset Operator on Abstract Interpretations

Gilberto Filé, Francesco Ranzato. The Powerset Operator on Abstract Interpretations. Theoretical Computer Science, 222(1-2):77-111, 1999. [doi]

Abstract

Abstract is missing.