Pages that link to "Item:Q1314414"
From MaRDI portal
The following pages link to A compositional semantics for logic programs (Q1314414):
Displaying 11 items.
- Transforming semantics by abstract interpretation (Q557807) (← links)
- Transformations of CLP modules (Q671648) (← links)
- S-semantics for logic programming: a retrospective look (Q1035702) (← links)
- Abstract interpretation of resolution-based semantics (Q1035705) (← links)
- A semantics for modular general logic programs (Q1274967) (← links)
- Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements (Q1275821) (← links)
- The reduced relative power operation on abstract domains (Q1285656) (← links)
- A new framework for declarative programming (Q1399960) (← links)
- A theory of observables for logic programs (Q1854446) (← links)
- Correct Answers for First Order Logic (Q4923518) (← links)
- Incremental and Modular Context-sensitive Analysis (Q4957220) (← links)
