Login / Signup

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

Davide AnconaFederico Frassetto
Published in: FTfJP@ECOOP (2015)
Keyphrases