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.
Series
SICS Research Report, ISSN 0283-3638 ; R88:04
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-22205OAI: oai:DiVA.org:ri-22205DiVA: diva2:1041749
Note
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-31 Created: 2016-10-31

Open Access in DiVA

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

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 2 downloads
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