Computability and Complexity Results for a Spatial Assertion Language for Data Structures

Míreanna comhchosúla

• SAW: the spatial assertion workbench
  de réir: Calcagno, C, et al.
  Foilsithe / Cruthaithe: (2015)
• Local Action and Abstract Separation Logic
  de réir: Calcagno, C, et al.
  Foilsithe / Cruthaithe: (2007)
• Shape Analysis for Composite Data Structures
  de réir: Berdine, J, et al.
  Foilsithe / Cruthaithe: (2007)
• Footprint Analysis: A Shape Analysis that Discovers Preconditions
  de réir: Calcagno, C, et al.
  Foilsithe / Cruthaithe: (2007)
• Compositional Shape Analysis by means of Bi−abduction
  de réir: Calcagno, C, et al.
  Foilsithe / Cruthaithe: (2009)