Some techniques for proving correctness of programs which alter data structures.(English)Zbl 0259.68009

MSC:

 68N01 General topics in the theory of software