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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.