A practical framework for theabstract interpretation of logic programs
From MaRDI portal
Publication:5748872
DOI10.1016/0743-1066(91)80001-TzbMATH Open0717.68010MaRDI QIDQ5748872FDOQ5748872
Authors: Maurice Bruynooghe 
Publication date: 1991
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Recommendations
Cited In (39)
- Title not available (Why is that?)
- 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.
- 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
- Abstraction-carrying code: a model for mobile code safety
- Incremental analysis of logic programs with assertions and open predicates
- A mode analysis of logic programs by abstract interpretation
- Partial evaluation with inference rules
- 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
- Title not available (Why is that?)
- Reasoning with higher-order abstract syntax in a logical framework
- Incremental and modular context-sensitive analysis
- Constructive negation and constraint logic programming with sets
- A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
- Live data structures in logic programs. Derivation by means of abstract interpretation
- Comparison of abstract interpretations
- Title not available (Why is that?)
- Lifting abstract interpreters to quantified logical domains
- A theory of observables for logic programs
- Evaluation of the implementation of an abstract interpretation algorithm using tabled CLP*
- Computing abstract distances in logic programs
- Deriving descriptions of possible values of program variables by means of abstract interpretation
- S-semantics for logic programming: a retrospective look
- Title not available (Why is that?)
- Abstract conjunctive partial deduction for the analysis and compilation of coroutines
- Title not available (Why is that?)
- Bottom-up abstract interpretation of logic programs
- Semantic code browsing
- Optimality in goal-dependent analysis of Sharing
- Abstract interpretation: a kind of magic
- Abstract interpretation and application to logic programs
- Title not available (Why is that?)
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)
