Division of Informatics
Forrest Hill & 80 South Bridge
Documents on: abstract interpretation
PP137
1992 Paper in Conference Proceedings
Bowles,A
;
Mellish,CS
Using Abstract Interpretation in a Prolog Tutoring System