Work

Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation

Year: 1994

Type: conference-abstract

Abstract: 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 framework 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.

Source: ACM Symposium on Applied Computing

DOI: 10.1145/326619.326788

Authors: Byeong-Mo Chang, Kwang-Moo Choe, Roberto Giacobazzi

Institutions: Korea Advanced Institute of Science and Technology, École Polytechnique, Laboratoire d'Informatique de l'École Polytechnique

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2033463273

Cites: 14

Cited by: 1

Related to: 10