![]() |
| 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] |