Journal article
Probabilistic model for code with decision trees
- Raychev, Veselin ETH Zurich, Switzerland
- Bielik, Pavol ETH Zurich, Switzerland
- Vechev, Martin ETH Zurich, Switzerland
Published in:
- ACM SIGPLAN Notices. - Association for Computing Machinery (ACM). - 2016, vol. 51, no. 10, p. 731-747
- Language
-
- English
- Open access status
- closed
- Identifiers
-
- DOI 10.1145/3022671.2984041
- ISSN 0362-1340
- Persistent URL
- https://folia.unifr.ch/global/documents/275012
Statistics
Document views: 19
File downloads: