Pages that link to "Item:Q4012708"
From MaRDI portal
The following pages link to Deriving descriptions of possible values of program variables by means of abstract interpretation (Q4012708):
Displaying 9 items.
- Finite-tree analysis for constraint logic-based languages (Q817224) (← links)
- Termination of floating-point computations (Q850498) (← links)
- Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses (Q980470) (← links)
- S-semantics for logic programming: a retrospective look (Q1035702) (← links)
- Type inference in Prolog: A new approach (Q1311964) (← links)
- Detecting non-provable goals (Q5210774) (← links)
- Proving Termination by Invariance Relations (Q5325774) (← links)
- Automating Termination Proofs for CHR (Q5325775) (← links)
- Improving precision of type analysis using non-discriminative union (Q5437649) (← links)
