Browsing Electrical and Computer Engineering by Subject "type inference"
Now showing items 1-2 of 2
-
OppropBERT: An Extensible Graph Neural Network and BERT-style Reinforcement Learning-based Type Inference System
(University of Waterloo, 2022-12-20)Built-in type systems for statically-typed programming languages (e.g., Java) can only prevent rudimentary and domain-specific errors at compile time. They do not check for type errors in other domains, e.g., to prevent ... -
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 ...