Browsing Theses by Author "Xing, Weitian"
Now showing items 1-1 of 1
-
Light-weight verification of cryptographic API usage
Xing, Weitian (University of Waterloo, 2020-12-15)A pluggable type system is a light-weight approach for compile-time program verification, which provides more powerful types to both developers and compilers. Developers use pluggable types to boost program understanding, ...