Dirk Beyer Claus Lewerentz CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs. 294-295 2003 conf/iwpc/2003 IWPC http://computer.org/proceedings/iwpc/1883/18830294.pdf db/conf/iwpc/iwpc2003.html#BeyerL03