On Logics of Aliasing

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27864-1_25 ◽

2004 ◽

pp. 344-360 ◽

Cited By ~ 11

Author(s):

Marius Bozga ◽

Radu Iosif ◽

Yassine Lakhnech

Download Full-text