liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Abstract Interpretation: A Kind of Magic
Linköping University, Department of Computer and Information Science, TCSLAB - Theoretical Computer Science Laboratory. Linköping University, The Institute of Technology.
1995 (English)In: Theoretical Computer Science, ISSN 0304-3975, Vol. 142, no 1, 125-138 p.Article in journal (Refereed) Published
Abstract [en]

Magic sets and, more recently, magic templates have been used in the field of deductive databases to facilitate efficient bottom-up evaluation of database queries. Roughly speaking a top-down computation of a definite logic program is simulated by first transforming the program and then executing the new program bottom-up. In this paper we give a new and very simple proof that this approach is equivalent to the collecting interpretation of the abstract interpretation framework for logic programs of Mellish. As a side-effect we are also able to show that “bottom-up” abstract interpretation based on the magic templates transformation is equally powerful as Mellish's abstract interpretation framework, but less powerful than other (more precise) abstract interpretation frameworks.

Place, publisher, year, edition, pages
Elsevier , 1995. Vol. 142, no 1, 125-138 p.
National Category
Computer Science
URN: urn:nbn:se:liu:diva-67122DOI: diva2:407558
Available from: 2011-03-30 Created: 2011-03-30 Last updated: 2011-04-20

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Nilsson, Ulf
By organisation
TCSLAB - Theoretical Computer Science LaboratoryThe Institute of Technology
In the same journal
Theoretical Computer Science
Computer 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

Altmetric score

Total: 13 hits
ReferencesLink to record
Permanent link

Direct link