A Semantic Basis for Local Reasoning

Podobne knjige/članki

• Local Reasoning about Programs that Alter Data Structures
  od: O'Hearn, P, et al.
  Izdano: (2001)
• Separation Logic Semantics for Communicating Processes
  od: Hoare, T, et al.
  Izdano: (2008)
• Possible Worlds and Resources: The Semantics of BI
  od: Pym, D, et al.
  Izdano: (2004)
• A local shape analysis based on separation logic
  od: Distefano, D, et al.
  Izdano: (2015)
• Local Action and Abstract Separation Logic
  od: Calcagno, C, et al.
  Izdano: (2007)