An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode | Publicación