Analysis of Pointers and Structures

Bard Bloom, Paul Keyser, et al.

Comput. Lang. Syst. Struct.

Mark N. Wegman, F. Kenneth. Zadeck

ACM TOPLAS

Fanjing Meng, Mark Wegman, et al.

IBM J. Res. Dev

Bishwaranjan Bhattacharjee, Matthew Hill, et al.

IBM J. Res. Dev