Combining Shape Analyses by Intersecting Abstractions
Keyword(s):
2011 ◽
Vol 38
(1)
◽
pp. 11-22
◽
1977 ◽
Vol 99
(1)
◽
pp. 117-120
◽