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]

Authors

Gilberto Filé

This author has not been identified. Look up 'Gilberto Filé' in Google

Francesco Ranzato

This author has not been identified. Look up 'Francesco Ranzato' in Google