Pages that link to "Item:Q5408543"
From MaRDI portal
The following pages link to Precise reasoning for programs using containers (Q5408543):
Displayed 5 items.
- An array content static analysis based on non-contiguous partitions (Q681352) (← links)
- Under-approximating loops in C programs for fast counterexample detection (Q746774) (← links)
- Optimization Modulo Theories with Linear Rational Costs (Q2946768) (← links)
- Correct Code Containing Containers (Q3012966) (← links)
- Generic Abstraction of Dictionaries and Arrays (Q5170171) (← links)