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

Authors:
Byeong-Mo Chang;Kwang-Moo Choe;Roberto Giacobazzi
Affiliations:
Department of Computer Science, Korea Advanced Institute of Science and Technology, 373-1, Kusung-dong, Yusung-ku, Taejon 305-701, South Korea;Department of Computer Science, Korea Advanced Institute of Science and Technology, 373-1, Kusung-dong, Yusung-ku, Taejon 305-701, South Korea;LIX, École Polytechnique, 91128 Palaiseau cedex, France
Venue:
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Year:
1994

Citing 7
Cited 0

Foundations of logic programming

Foundations of logic programming
Magic sets and other strange ways to implement logic programs (extended abstract)

PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
An amateur's introduction to recursive query processing strategies

SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
SYGRAF: Implementing Logic Programs in a Database Style

IEEE Transactions on Software Engineering
Declarative modeling of the operational behavior of logic languages

Theoretical Computer Science
A general framework for semantics-based bottom-up abstract interpretation of logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Quantified Score

Hi-index	0.00

Visualization

Abstract