re: RUM Conjecture - Reasoning About Data Access VIEW POST

TOP OF THREAD FULL DISCUSSION
re: Hmmm, For the first case, for us to know the position by index shouldn't need to read the position first ? For the third case i did not understan...

For the first case, for us to know the position by index shouldn't need to read the position first ?

What do you mean by reading the position? We can simple insert or delete the value without knowing whether it was there already.

For the third case i did not understand what are you saying.

What is it that you don't understand?

code of conduct - report abuse