Alias analysis in Java with reference-set representation for high-performance computing
scientific article; zbMATH DE number 2100104