Static Analysis Complements Machine Learning: A Type Inference Use Case
L. feng (TU Delft - Electrical Engineering, Mathematics and Computer Science)
G. Georgios – Mentor (TU Delft - Software Technology)
C.B. Poulsen – Graduation committee member (TU Delft - Programming Languages)
More Info
expand_more
Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.
Abstract
Type inference plays a pivotal role in modern software development as it aids in understanding code, detecting errors, and facilitating code completion. Two main approaches, static analysis, and machine learning, contribute to this process. Each approach has its own benefits and limitations. This thesis investigates the potential of combining static analysis techniques and machine learning (ML) approaches to enhance type inference capabilities.