An Implementation Technique for the Abstract Interpretation of Prolog
Annika Wærn · KTH Publication Database DiVA (KTH Royal Institute of Technology) · 1988
An implementation technique for abstract imterpretation is given which exploits stream communication. The implementation can alternatively be viewed as an ordinary interpretation collecting all solutions. The requirements for termination are discussed.