![]() | ![]() |
2007 | ||
---|---|---|
4 | EE | Jingling Xue, Phung Hua Nguyen, John Potter: Interprocedural side-effect analysis for incomplete object-oriented software modules. Journal of Systems and Software 80(1): 92-105 (2007) |
2005 | ||
3 | EE | Phung Hua Nguyen, Jingling Xue: Interprocedural Side-Effect Analysis and Optimisation in the Presence of Dynamic Class Loading. ACSC 2005: 9-18 |
2 | EE | Jingling Xue, Phung Hua Nguyen: Completeness Analysis for Incomplete Object-Oriented Programs. CC 2005: 271-286 |
2004 | ||
1 | EE | Phung Hua Nguyen, Jingling Xue: Strength Reduction for Loop-Invariant Types. ACSC 2004: 213-222 |
1 | John Potter | [4] |
2 | Jingling Xue | [1] [2] [3] [4] |