sentence: assertions : operators and semantics separation logic assertions describe '' states '' consisting of a store and a heap , roughly corresponding to the state of ) variables and objects in common programming languages such as c and java .