• today
  • contact
All the info about the real apocalypse date
It's the end of the world as we know it

Abstract interpretation: A kind of magic

9/21/2015

0 Comments

 
Picture
JOURNAL:  Lecture Notes in Computer Science
AUTHORS: Ulf Nilsson

SUMMARY:  Magic sets and, more recently, magic templates are used in the field of deductive databases to facilitate efficient bottom up evaluation of database queries. Roughly speaking a top down computation 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 of C. Mellish. As a side-effect we also prove that “bottom up” abstract interpretation based on the magic templates transformation is equally powerful as this particular abstract interpretation framework, but less powerful than other (more precise) abstract interpretation frameworks.

CULTURAL REFERENCE: A Kind of Magic is the title track of the 1986 album of the same name by the British rock band Queen. The single reached number three in the UK Singles Chart, top ten in a number of European countries, and #42 on the US Billboard Hot 100.
Scientific Paper
Song
0 Comments

    Archives

    May 2020
    November 2019
    July 2019
    June 2019
    January 2019
    June 2018
    May 2018
    March 2018
    December 2017
    August 2017
    July 2017
    October 2015
    September 2015
    March 2015
    February 2015
    January 2015
    November 2014
    October 2014
    September 2014
    July 2014
    June 2014

    RSS Feed

    Disclaimer

    Please write a comment if you are the author or the copyright holder of any article and you want to remove it from our page. Once we contact with you we will delete it as soon as possible.

Powered by Create your own unique website with customizable templates.