Efficiently Estimating Relative Grain Size for Logic Programs on Basic of Abstract Interpretation

Shan-Wen Yan. Efficiently Estimating Relative Grain Size for Logic Programs on Basic of Abstract Interpretation. In JICSLP. 1992.

Abstract

Abstract is missing.