Browsing Engineering (Faculty of) by Author "Chen, Zhuo"
Now showing items 1-1 of 1
-
Pluggable Properties for Program Understanding: Ontic Type Checking and Inference
Chen, Zhuo (University of Waterloo, 2018-04-26)Pluggable type systems is a powerful approach to add additional information on types, which can facilitate the understanding of programs. This thesis presents our work on three pluggable type systems for helping both ...