Conference item
An Example of Local Reasoning in BI Pointer Logic: the Schorr−Waite Graph Marking Algorithm
Actions
Authors
Bibliographic Details
- Host title:
- Proceedings of the 1st Workshop on Semantics‚ Program Analysis‚ and Computing Environments for Memory Management
- Publication date:
- 2001-01-01
Item Description
- UUID:
-
uuid:3e00d901-fba3-43aa-9b60-7db9363da34b
- Local pid:
- cs:4940
- Deposit date:
- 2015-03-31
Terms of use
- Copyright date:
- 2001
If you are the owner of this record, you can report an update to it here: Report update to this record