Browsing Engineering (Faculty of) by Subject "Program Understanding"
Now showing items 1-1 of 1
-
Pluggable Properties for Program Understanding: Ontic Type Checking and Inference
(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 ...