Alias analysis on type inference for class hierarchy in Java | IEEE Conference Publication | IEEE Xplore