Blaiming the Client: On Data Refinement in the Presence of Pointers

অনুরূপ উপাদানগুলি

• Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic
  অনুযায়ী: Calcagno, C, অন্যান্য
  প্রকাশিত: (2006)
• Data Refinement with Low−level Pointer Operations
  অনুযায়ী: Mijajlovic, I, অন্যান্য
  প্রকাশিত: (2005)
• Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables, and Label Variables
  অনুযায়ী: Weihl, William Edward
  প্রকাশিত: (2023)
• Abstraction for Concurrent Objects
  অনুযায়ী: Filipovic, I, অন্যান্য
  প্রকাশিত: (2010)
• Abstraction for concurrent objects
  অনুযায়ী: Filipovic, I, অন্যান্য
  প্রকাশিত: (2010)