Predicting Program Properties from "Big Code" SONAR logo Log in Sign up EN English
Français Deutsch Italiano Back Predicting Program Properties from "Big Code" Journal
article Predicting Program Properties from "Big Code" Raychev, Veselin ETH Zurich, Zurich,
Switzerland Vechev, Martin ETH Zurich, Zurich, Switzerland Krause, Andreas ETH Zurich,
Zurich, Switzerland Published in: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT
Symposium on Principles of Programming Languages - POPL '15. - ACM Press. - 2015 …