Browsing Theses by Subject "language features"
Now showing items 1-1 of 1
-
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 ...