A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in Java.

Konrad Siek, Pawel T. Wojciechowski

Browse the full FMICS paper archive.