A three-valued type system for true positives detection in Java-like languages.

Davide Ancona, Federico Frassetto

Browse the full ECOOP paper archive.