A practical framework for theabstract interpretation of logic programs

DOI10.1016/0743-1066(91)80001-TMaRDI QIDQ5748872zbMATH OpenFDO

Authors Maurice Bruynooghe

Publication date 1991

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(91)80001-T

zbMATH Keywords

AND treesAND-OR graph

Mathematics Subject Classification ID

Artificial intelligence (68T99) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 4178750
• Abstract interpretation and application to logic programs
• Bottom-up abstract interpretation of logic programs
• Static analysis of logic programs for independent and parallelism
• Abstractions of uniform proofs

Cited in

(39)

• Abstract interpretation and application to logic programs
• scientific article; zbMATH DE number 1615253 (Why is no real title available?)
• scientific article; zbMATH DE number 1942465 (Why is no real title available?)
• Improving precision of type analysis using non-discriminative union
• Optimized algorithms for incremental analysis of logic programs
• Precise goal-independent abstract interpretation of constraint logic programs.
• Abstraction-carrying code: a model for mobile code safety
• Resource usage analysis of logic programs via abstract interpretation using sized types
• A framework for computing finite SLD trees
• Compile-time derivation of variable dependency using abstract interpretation
• Static analysis of logic programs for independent and parallelism
• Incremental analysis of logic programs with assertions and open predicates
• Partial evaluation with inference rules
• A mode analysis of logic programs by abstract interpretation
• Sequence-based abstract interpretation of Prolog
• Certificate size reduction in abstraction-carrying code
• An overview of Ciao and its design philosophy
• An improved proof-theoretic compilation of logic programs
• scientific article; zbMATH DE number 4178750 (Why is no real title available?)
• Incremental and modular context-sensitive analysis
• Reasoning with higher-order abstract syntax in a logical framework
• Constructive negation and constraint logic programming with sets
• Live data structures in logic programs. Derivation by means of abstract interpretation
• A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
• Comparison of abstract interpretations
• scientific article; zbMATH DE number 1497828 (Why is no real title available?)
• A theory of observables for logic programs
• Lifting abstract interpreters to quantified logical domains
• Evaluation of the implementation of an abstract interpretation algorithm using tabled CLP*
• S-semantics for logic programming: a retrospective look
• Computing abstract distances in logic programs
• Deriving descriptions of possible values of program variables by means of abstract interpretation
• scientific article; zbMATH DE number 879006 (Why is no real title available?)
• Abstract conjunctive partial deduction for the analysis and compilation of coroutines
• Bottom-up abstract interpretation of logic programs
• scientific article; zbMATH DE number 3978439 (Why is no real title available?)
• Abstract interpretation: a kind of magic
• Optimality in goal-dependent analysis of Sharing
• Semantic code browsing

This page was built for publication: A practical framework for theabstract interpretation of logic programs

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