Separation Logic And Abstraction