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.
Original report number R88004. A shortened version of the report appears in Proceedings of the Fifth International Logic Programming Conference and Fifth Symposium on Logic Programming 1988, pp. 700-710. Kowalski, R.A. and K.A. Bowen, eds., MIT Press, 1988.