A Relational Approach to Interprocedural Shape Analysis
2004 ◽
pp. 246-264
◽
2010 ◽
Vol 32
(2)
◽
pp. 1-52
◽
1998 ◽
Vol 31
(2)
◽
pp. 466A
Keyword(s):
2018 ◽
Vol 15
(12)
◽
pp. 1151-1160
◽