SODA

An Implementation Technique for the Abstract Interpretation of Prolog

Waern, Annika (1988) An Implementation Technique for the Abstract Interpretation of Prolog. [SICS Report]

[img]
Preview
PDF
2343Kb

Abstract

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.

Item Type:SICS Report
Additional Information: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.
ID Code:2544
Deposited By:Vicki Carleson
Deposited On:17 Sep 2009
Last Modified:18 Nov 2009 16:10

Repository Staff Only: item control page