An Example of Local Reasoning in BI Pointer Logic: the Schorr−Waite Graph Marking Algorithm

مواد مشابهة

• Unfolding Pointer Algorithms
  حسب: Bird, R
  منشور في: (2001)
• FUNCTIONAL PEARL Unfolding pointer algorithms
  منشور في: (2001)
• Tiny Pointers
  حسب: Bender, Michael, وآخرون
  منشور في: (2024)
• Practical job pointers/
  حسب: 395350 Burbank, Nelson L.
  منشور في: (1940)
• Data Refinement with Low−level Pointer Operations
  حسب: Mijajlovic, I, وآخرون
  منشور في: (2005)