Class hierarchy complementation: soundly completing a partial type graph.

George Balatsouras, Yannis Smaragdakis

Browse the full OOPSLA paper archive.