The Complexity of Type Analysis of Object Oriented Programs.

Joseph Gil, Alon Itai

Browse the full ECOOP paper archive.