Pages that link to "Item:Q1318725"
From MaRDI portal
The following pages link to Bottom-up abstract interpretation of logic programs (Q1318725):
Displayed 9 items.
- Magic-sets for localised analysis of Java bytecode (Q656846) (← links)
- Abstract interpretation: a kind of magic (Q673498) (← 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)