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] |