Sciweavers

24 search results - page 1 / 5
» sas 2004
Sort
View
SAS
2004
Springer
14 years 2 months ago
Partially Disjunctive Heap Abstraction
Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, ...
SAS
2004
Springer
239views Formal Methods» more  SAS 2004»
14 years 2 months ago
Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis
Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu