| 2001 | ||
|---|---|---|
| 2 | EE | Barbara G. Ryder, William Landi, Phil Stocks, Sean Zhang, Rita Altucher: A schema for interprocedural modification side-effect analysis with pointer aliasing. ACM Trans. Program. Lang. Syst. 23(2): 105-186 (2001) |
| 1995 | ||
| 1 | Rita Altucher, William Landi: An Extended Form of Must Alias Analysis for Dynamic Allocation. POPL 1995: 74-84 | |
| 1 | William Landi | [1] [2] |
| 2 | Barbara G. Ryder | [2] |
| 3 | Phil Stocks | [2] |
| 4 | Sean Zhang | [2] |