Efficient bottom-up execution of logic programs using abstract interpretation

DOI10.1016/0020-0190(93)90239-6zbMath0778.68022OpenAlexW1979668793MaRDI QIDQ689638

Kwang-Moo Choe, Taisook Han, Byeong-Mo Chang

Publication date: 15 November 1993

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(93)90239-6

zbMATH Keywords

filteringdeductive databasequery optimizationsystem graphsabstract filtertwo-phase abstract interpretation

Mathematics Subject Classification ID

Logic programming (68N17) General topics in the theory of software (68N01)

Uses Software

• SYGRAF

Cites Work

• Declarative modeling of the operational behavior of logic languages
• Enumeration of success patterns in logic programs
• Unnamed Item

This page was built for publication: Efficient bottom-up execution of logic programs using abstract interpretation