Browsing Theses by Author "Li, Jianchu"
Now showing items 1-1 of 1
-
A General Pluggable Type Inference Framework and its use for Data-flow Analysis
Li, Jianchu (University of Waterloo, 2017-04-27)Java's pluggable type systems provide valuable compile-time guarantees, but annotating the program with pluggable types can be a significant burden on programmers. Checker Framework Inference, a framework that aims to ...