Keith D. Cooper Ken Kennedy Interprocedural Side-Effect Analysis in Linear Time 57-66 PLDI 1988 db/conf/pldi/pldi88.html#CooperK88