TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing

Teyu Lin, Minghao Fan, Huaxun Huang, Zhirong Shen, Rongxin Wu. TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing. Proc. ACM Softw. Eng., 3(FSE):2630-2651, 2026. [doi]

Abstract

Abstract is missing.