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

Documents similaires

• Unfolding Pointer Algorithms
  par: Bird, R
  Publié: (2001)
• FUNCTIONAL PEARL Unfolding pointer algorithms
  Publié: (2001)
• Tiny Pointers
  par: Bender, Michael, et autres
  Publié: (2024)
• Practical job pointers/
  par: 395350 Burbank, Nelson L.
  Publié: (1940)
• Data Refinement with Low−level Pointer Operations
  par: Mijajlovic, I, et autres
  Publié: (2005)