Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic

Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic

מידע ביבליוגרפי
Main Authors: Calcagno, C, Distefano, D, Yang, H, O'Hearn, P
פורמט: Conference item
יצא לאור: Springer−Verlag 2006

פריטים דומים