Abstract Interpretation of Constraints on Order-Sorted Domains

Yves Caseau. Abstract Interpretation of Constraints on Order-Sorted Domains. In ISLP. pages 435-452, 1991.

Abstract

Abstract is missing.