Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic

相似书籍

• Blaiming the Client: On Data Refinement in the Presence of Pointers
  由: Filipovic, I, et al.
  出版: (2010)
• Compositional Shape Analysis by means of Bi−abduction
  由: Calcagno, C, et al.
  出版: (2009)
• Compositional Shape Analysis by Means of Bi-Abduction
  由: Calcagno, C, et al.
  出版: (2011)
• Compositional Shape Analysis by means of Bi−abduction
  由: Calcagno, C, et al.
  出版: (2011)
• Footprint Analysis: A Shape Analysis that Discovers Preconditions
  由: Calcagno, C, et al.
  出版: (2007)