Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:	Calcagno, C, Distefano, D, Yang, H, O'Hearn, P
Ձևաչափ:	Conference item
Հրապարակվել է:	Springer−Verlag 2006

Նմանատիպ նյութեր