A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Abstract filters
1994
Proceedings of the 1994 ACM symposium on Applied computing - SAC '94
Bottom-uo evaluation of logic programs may be i t.~efficient as it may generate many irrelevant facts to a given query. The filtering strategy prevents Fossible irrelevant facts from being processed in the bottom-up evaluation on system graphs. This paper defines the filtered bottom-up evaluation formally, and provides a new filter called abstract filter which is computed by two-phase abstract interpretation at compile time. The abstract filter is defined on a generic abstract domain. This
doi:10.1145/326619.326788
dblp:conf/sac/ChangCG94
fatcat:bu4oufzpxzbuzf2uxdvklaluj4