Variables as Resource in Separation Logic

פריטים דומים

• Local Action and Abstract Separation Logic
  מאת: Calcagno, C, et al.
  יצא לאור: (2007)
• From Separation Logic to First−Order Logic
  מאת: Calcagno, P, et al.
  יצא לאור: (2005)
• Amortised Resource Analysis with Separation Logic
  מאת: Robert Atkey
  יצא לאור: (2011-06-01)
• Relational Separation Logic
  מאת: Yang, H
  יצא לאור: (2007)
• Relational Parametricity and Separation Logic
  מאת: Birkedal, L, et al.
  יצא לאור: (2008)