re: RUM Conjecture - Reasoning About Data Access VIEW POST

VIEW PARENT COMMENT VIEW FULL DISCUSSION

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