Separation and Information Hiding

類似資料

• Separation and Information Hiding
  著者:: O'Hearn, P, 等
  出版事項: (2004)
• Separation Logic Semantics for Communicating Processes
  著者:: Hoare, T, 等
  出版事項: (2008)
• Local Action and Abstract Separation Logic
  著者:: Calcagno, C, 等
  出版事項: (2007)
• A local shape analysis based on separation logic
  著者:: Distefano, D, 等
  出版事項: (2015)
• Graphical models of separation logic
  著者:: Wehrman, I, 等
  出版事項: (2009)