A practical framework for theabstract interpretation of logic programs
From MaRDI portal
Publication:5748872
Recommendations
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)
