Login / Signup

A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework.

Mark MarronDeepak KapurDarko StefanovicManuel V. Hermenegildo
Published in: LCPC (2006)
Keyphrases