Predicting Program Properties from 'Big Code'

Open in new window