Pages that link to "Item:Q5172648"

The following pages link to Abstraction of Arrays Based on Non Contiguous Partitions (Q5172648):

Displaying 3 items.

• An array content static analysis based on non-contiguous partitions (Q681352) (← links)
• \textsc{Diffy}: inductive reasoning of array programs using difference invariants (Q832320) (← links)
• Verifying Array Manipulating Programs with Full-Program Induction (Q5039501) (← links)