Slice-Guided, Context-Augmented Large Language Model Inference of Java Nullability Annotations
A warning-guided, slice-based, LLM-assisted pipeline for inferring Java nullability annotations, which infers the annotations @Nullable and @Nonnull without touching program logic as a step toward a type-system-independent inference technique.
Mushfiqur Rahman Chowdhury
· Companion Proceedings of the... · 0 citations