Browsing University of Waterloo by Subject "type check"
Now showing items 1-1 of 1
-
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 ...