Inproceedings,

Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects.

, , and .
POPL, page 232-245. ACM Press, (1993)

Meta data

Tags

Users

  • @dblp

Comments and Reviews