[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] finding a minimum value in an array greater than somegiven value



Hey,
I am trying to find the minimum value in an array which is greater than some
given value.
Also if there are duplicate the function should return the element with the
highest index.
All this needs to be done recursively.
For example
Say i have an array of unsorted integers
[8 9 5 6 7 2 1 4 3 1]
if the given value is 0
then the function should return the index 9
Any help would be greatly appreciated.
-Soumya