Pointer-Induced Aliasing: A Problem Classification

@inproceedings{Landi1991PointerInducedAA,
  title={Pointer-Induced Aliasing: A Problem Classification},
  author={William Landi and Barbara G. Ryder},
  booktitle={POPL},
  year={1991}
}
A?iasing occurs at some program point during execution when two or more names exist for the same location. We have isolated various programming language mechanisms which create aliases. We have classified the complexity of the fllas problem induced by each mechanism alone and in combination, as AfP-hard, complement tip-hard, or polynomial (’P). We present our problem classification, give an overview of our proof that finding interprocedural aliases in the presence of single level pointers is in… CONTINUE READING
Highly Influential
This paper has highly influenced 19 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 208 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.

209 Citations

051015'91'97'04'11'18
Citations per Year
Semantic Scholar estimates that this publication has 209 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…