Pages that link to "Item:Q1318725"
From MaRDI portal
The following pages link to Bottom-up abstract interpretation of logic programs (Q1318725):
Displaying 13 items.
- Magic-sets for localised analysis of Java bytecode (Q656846) (← links)
- Abstract interpretation: a kind of magic (Q673498) (← links)
- Exploiting linearity in sharing analysis of object-oriented programs (Q737080) (← links)
- S-semantics for logic programming: a retrospective look (Q1035702) (← links)
- Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements (Q1275821) (← links)
- Type inference in Prolog: A new approach (Q1311964) (← links)
- Constrained dependencies (Q1391931) (← links)
- Type dependencies for logic programs using ACI-unification (Q1575243) (← links)
- A theory of observables for logic programs (Q1854446) (← links)
- The powerset operator on abstract interpretations (Q1960538) (← links)
- The role of linearity in sharing analysis (Q5055490) (← links)
- On the complexity of dataflow analysis of logic programs (Q5204343) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)
