Improving the Precision of Type Inference Algorithms with Lightweight Heuristics

Nevena Milojković. Improving the Precision of Type Inference Algorithms with Lightweight Heuristics. In SATToSE’17: Pre-Proceedings of the 10th International Seminar Series on Advanced Techniques & Tools for Software Evolution, June 2017. Details.

Abstract

Dynamically-typed languages allow faster software development by not posing the type constraints. Static type information facilitates program comprehension and software maintenance. Type inference algorithms attempt to reconstruct the type information from the code, yet they suffer from the problem of false positives or false negatives. The use of complex type inference algorithms is questionable during the development phase, due to their performance costs. Instead, we propose lightweight heuristics to improve simple type inference algorithms and, at the same time, preserve their swiftness.

Posted by scg at 9 May 2017, 9:59 am link
Last changed by admin on 21 April 2009