Pages that link to "Item:Q5748872"
From MaRDI portal
The following pages link to A practical framework for theabstract interpretation of logic programs (Q5748872):
Displaying 24 items.
- Abstract conjunctive partial deduction for the analysis and compilation of coroutines (Q511025) (← links)
- Abstract interpretation: a kind of magic (Q673498) (← links)
- Abstraction-carrying code: a model for mobile code safety (Q949170) (← links)
- S-semantics for logic programming: a retrospective look (Q1035702) (← links)
- Partial evaluation with inference rules (Q1108781) (← links)
- Bottom-up abstract interpretation of logic programs (Q1318725) (← links)
- Precise goal-independent abstract interpretation of constraint logic programs. (Q1395430) (← links)
- A theory of observables for logic programs (Q1854446) (← links)
- A framework for computing finite SLD trees (Q2258840) (← links)
- An overview of Ciao and its design philosophy (Q2893101) (← links)
- Certificate size reduction in abstraction-carrying code (Q2909518) (← links)
- Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types (Q2931277) (← links)
- Optimality in goal-dependent analysis of Sharing (Q3181746) (← links)
- (Q4499250) (← links)
- Semantic code browsing (Q4593054) (← links)
- Incremental and Modular Context-sensitive Analysis (Q4957220) (← links)
- Optimized algorithms for incremental analysis of logic programs (Q5030198) (← links)
- Incremental Analysis of Logic Programs with Assertions and Open Predicates (Q5097624) (← links)
- Computing Abstract Distances in Logic Programs (Q5097625) (← links)
- Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP (Q5108525) (← links)
- Comparison of abstract interpretations (Q5204344) (← links)
- Improving precision of type analysis using non-discriminative union (Q5437649) (← links)
- A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs (Q5504599) (← links)
- Constructive negation and constraint logic programming with sets (Q5945160) (← links)
