Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون:	Calcagno, C, Distefano, D, Yang, H, O'Hearn, P
التنسيق:	Conference item
منشور في:	Springer−Verlag 2006

مواد مشابهة