Browsing University of Waterloo by Subject "Type System"
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 ...