Predicting program properties from 'big code'.

Veselin Raychev Martin T. Vechev Andreas Krause

Published in: Commun. ACM (2019)

Keyphrases

program understanding
computer programs
topological properties
java programs
program code
desirable properties
static analysis
machine learning
source code
programs written