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
Book Chapter
ND Jones, H SONDERGAARD
Abstract Interpretation of Declarative Languages | Ellis Horwood | Published : 1987