Mario Méndez-Lojo, Jorge Navas, Manuel V. Hermenegildo. An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode. Electronic Notes in Theoretical Computer Science, 190(1):51-66, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.