The following pages link to Oren Ish-Shalom (Q784117):
Displaying 3 items.
- Putting the squeeze on array programs: loop verification via inductive rank reduction (Q784119) (← links)
- Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation (Q784127) (← links)
- Run-time complexity bounds using squeezers (Q2233463) (← links)
