Change search
ReferencesLink to record
Permanent link

Direct link
An Implementation Technique for the Abstract Interpretation of Prolog
Number of Authors: 1
1988 (English)Report (Refereed)
Abstract [en]

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
National Category
Computer and Information Science
URN: urn:nbn:se:ri:diva-14393OAI: diva2:1035681
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.Available from: 2016-10-13 Created: 2016-10-13

Open Access in DiVA

fulltext(2343 kB)0 downloads
File information
File name FULLTEXT01.pdfFile size 2343 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

ReferencesLink to record
Permanent link

Direct link