Probabilistic model for code with decision trees

Veselin Raychev, Pavol Bielik, Martin T. Vechev. Probabilistic model for code with decision trees. In Eelco Visser, Yannis Smaragdakis, editors, Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016. pages 731-747, ACM, 2016. [doi]

Abstract

Abstract is missing.