An Implementation Technique for the Abstract Interpretation of Prolog
Number of Authors: 1
1988 (English)Report (Refereed)
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.
Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1988, 1. , 24 p.
SICS Research Report, ISSN 0283-3638 ; R88:04
Computer and Information Science
IdentifiersURN: urn:nbn:se:ri:diva-22205OAI: oai:DiVA.org:ri-22205DiVA: diva2:1041749
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.2016-10-312016-10-31Bibliographically approved