Abstract interpretation of logic programs using magic transformations
- 28 February 1994
- journal article
- Published by Elsevier BV in The Journal of Logic Programming
- Vol. 18 (2), 149-176
- https://doi.org/10.1016/0743-1066(94)90050-7
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Magic templates: a spellbinding approach to logic programsThe Journal of Logic Programming, 1991
- Static inference of modes and data dependencies in logic programsACM Transactions on Programming Languages and Systems, 1989
- Automatic mode inference for logic programsThe Journal of Logic Programming, 1988
- SYGRAF: implementing logic programs in a database styleIEEE Transactions on Software Engineering, 1988
- Denotational and operational semantics for prologThe Journal of Logic Programming, 1988
- Strictness analysis and denotational abstract interpretationInformation and Computation, 1988
- Convergence of sideways query evaluationPublished by Association for Computing Machinery (ACM) ,1985
- Enumeration of success patterns in logic programsTheoretical Computer Science, 1984
- Systematic design of program analysis frameworksPublished by Association for Computing Machinery (ACM) ,1979
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976