Improving Abstract Interpretations by Systematic Lifting to the Powerset

Gilberto Filé, Francesco Ranzato. Improving Abstract Interpretations by Systematic Lifting to the Powerset. In Workshop on Design and Impl. of Parallel Logic Programming Systems. pages 655-669, 1994.

Abstract

Abstract is missing.