On Leveraging Tests to Infer Nullable Annotations
No abstract available.
Related papers
- Relational nullable types with Boolean unification OOPSLA 2021
- Granullar: gradual nullable types for Java CC 2017
- InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference ECOOP 2024
- Enumerating Ill-Typed Programs for Testing Type Analyzers PLDI 2026
- Let Generalization, Polymorphic Recursion, and Variable Minimization in Boolean-Kinded Type Systems POPL 2026
- Leveraging Rust Types for Program Synthesis PLDI 2023
- QuAC: Quick Attribute-Centric Type Inference for Python OOPSLA 2024
- Static Type Analysis by Abstract Interpretation of Python Programs ECOOP 2020