Pages that link to "Item:Q784119"
From MaRDI portal
The following pages link to Putting the squeeze on array programs: loop verification via inductive rank reduction (Q784119):
Displaying 6 items.
- \textsc{Diffy}: inductive reasoning of array programs using difference invariants (Q832320) (← links)
- Data abstraction: a general framework to handle program verification of data structures (Q2145329) (← links)
- Interpolation and amalgamation for arrays with MaxDiff (Q2233410) (← links)
- Run-time complexity bounds using squeezers (Q2233463) (← links)
- Simplifying the Verification of Quantified Array Assertions via Code Transformation (Q2848907) (← links)
- (Q4529770) (← links)