Microsoft Corporation
Code completion for dynamically-typed programming languages using machine learning

Abstract:

A code completion system predicts candidates to complete a method invocation in a source code program written in a dynamically-typed programming language. A pseudo type is generated for each variable in the source code program to approximate the runtime type of the variable. The pseudo type is then used to group a set of method invocations into a classification that can be modeled by an n-order Markov chain model. The n-order Markov chain model is used to predict candidate methods more likely to complete a method invocation in a dynamically-typed programming language.