Predicting Program Properties from "Big Code"
Metadata only
Date
2015Type
- Other Conference Item
Publication status
publishedBook title
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, (POPL) 2015Pages / Article No.
Publisher
Association for Computing MachineryEvent
Organisational unit
03908 - Krause, Andreas
03948 - Vechev, Martin
Notes
.More
Show all metadata