Predicting Program Properties from "Big Code"

Thumbnail
Metadata only
Author
Raychev, Veselin
Vechev, Martin
Krause, Andreas
Date
2015
Type
    Other Conference Item
Publication status
published
External links
Book title
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, (POPL) 2015
Pages / Article No.
111 - 124
Publisher
Association for Computing Machinery
Event
42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, (POPL 2015), Mumbai, India, January 12-18, 2015
Organisational unit
03908 - Krause, Andreas / Krause, Andreas  
03948 - Vechev, Martin / Vechev, Martin  
More
Show all metadata
Citations
Cited 101 times in Web of Science
Cited 62 times in Scopus
ETH Bibliography
yes
Altmetrics