Pages that link to "Item:Q5748872"
From MaRDI portal
The following pages link to A practical framework for theabstract interpretation of logic programs (Q5748872):
Displayed 14 items.
- 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)
- An overview of Ciao and its design philosophy (Q2893101) (← links)
- Certificate size reduction in abstraction-carrying code (Q2909518) (← links)
- Optimality in goal-dependent analysis of Sharing (Q3181746) (← links)
- (Q4499250) (← 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)