Publications

Precise and Efficient Integration of Interprocedural Alias Information into Data-Flow Analysis

• • Michael Burke
  • Jong-Deok Choi
• 1992
• ACM Letters on Programming Languages and Systems (LOPLAS)