On the Design of an Extensible Platform for Flow Analysis of Java using Abstract Interpretation.

Paulo Abadie Guedes Sérgio Vanderlei Cavalcante On the Design of an Extensible Platform for Flow Analysis of Java using Abstract Interpretation. 47-50 2003 conf/wcet/2003 WCET db/conf/wcet/wcet2003.html#GuedesC03