Pages that link to "Item:Q3128618"
From MaRDI portal
The following pages link to Generalized semantics and abstract interpretation for constraint logic programs (Q3128618):
Displayed 7 items.
- Set-sharing is redundant for pair-sharing (Q1605223) (← links)
- A theory of observables for logic programs (Q1854446) (← links)
- Pair-independence and freeness analysis through linear refinement. (Q1873754) (← links)
- Model-based computing: Developing flexible machine control software (Q1978447) (← links)
- A semantic framework for the abstract model checking of tccp programs (Q2576949) (← links)
- Abstract interpretation of temporal concurrent constraint programs (Q4592982) (← links)
- A freeness and sharing analysis of logic programs based on a pre-interpretation (Q5030191) (← links)