Efficient bottom-up execution of logic programs using abstract interpretation

DOI10.1016/0020-0190(93)90239-6MaRDI QIDQ689638zbMATH OpenOpenAlexFDO

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

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

abstract filterdeductive databasefilteringquery optimizationsystem graphstwo-phase abstract interpretation

Mathematics Subject Classification ID

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

Recommendations

• Bottom-up abstract interpretation of logic programs
• Abstract interpretation and application to logic programs
• scientific article; zbMATH DE number 512885
• Abstract interpretation: a kind of magic
• Efficient goal directed bottom-up evaluation of logic programs

Cites work

• Declarative modeling of the operational behavior of logic languages
• Enumeration of success patterns in logic programs
• scientific article; zbMATH DE number 4049156 (Why is no real title available?)

Cited in

(1)

• Bottom-up abstract interpretation of logic programs

Describes a project that uses

Uses Software

• SYGRAF

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q689638)