Abstract filters

Byeong-Mo Chang, Kwang-Moo Choe, Roberto Giacobazzi
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
more » ... work is specialized on the depth k abstract domain of Sato and Tamaki. The abstract filter is shown to be at least as powerful as the static filter on the depth k abstract domain. Some performance results are provided.
doi:10.1145/326619.326788 dblp:conf/sac/ChangCG94 fatcat:bu4oufzpxzbuzf2uxdvklaluj4