Sara Porat Bilha Mendelson Irina Shapira Sharpening global static analysis to cope with Java. 19 1998 conf/cascon/1998 CASCON http://doi.acm.org/10.1145/783160.783179 db/conf/cascon/cascon1998.html#PoratMS98