Inproceedings,

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

, and .
FTfJP@ECOOP, page 1:1-1:7. ACM, (2015)

Meta data

Tags

Users

  • @dblp

Comments and Reviews