Browsing Electrical and Computer Engineering by Subject "pluggable type system"
Now showing items 1-2 of 2
-
Light-weight verification of cryptographic API usage
(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, ... -
Type Checking and Whole-program Inference for Value Range Analysis
(University of Waterloo, 2020-10-19)Value range analysis is important in many software domains for ensuring the safety and reliability of a program and is a crucial facet in software development. The resulting information can be used in optimizations such ...