A Semantic Basis for Local Reasoning

Những quyển sách tương tự

• Local Reasoning about Programs that Alter Data Structures
  Bằng: O'Hearn, P, et al.
  Được phát hành: (2001)
• Separation Logic Semantics for Communicating Processes
  Bằng: Hoare, T, et al.
  Được phát hành: (2008)
• Possible Worlds and Resources: The Semantics of BI
  Bằng: Pym, D, et al.
  Được phát hành: (2004)
• A local shape analysis based on separation logic
  Bằng: Distefano, D, et al.
  Được phát hành: (2015)
• Local Action and Abstract Separation Logic
  Bằng: Calcagno, C, et al.
  Được phát hành: (2007)