Book Chapter

A semantics-based framework for the abstract interpretation of Prolog

ND Jones, H SONDERGAARD

Abstract Interpretation of Declarative Languages | Ellis Horwood | Published : 1987