An Example of Local Reasoning in BI Pointer Logic: the Schorr−Waite Graph Marking Algorithm
Hongseok Yang
Book Title
Proceedings of the 1st Workshop on Semantics‚ Program Analysis‚ and Computing Environments for Memory Management
Month
January
Year
2001