Metadata only
Author
Singh, Gagandeep
Püschel, Markus
Vechev, Martin
Date
2015Type
- Other Conference Item
Altmetrics
Publication status
publishedBook title
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2015Pages
Publisher
Association for Computing MachineryEvent
Subject
Fast numerical program analysis; Octagon abstract domain; Octagon Decomposition; Vectorized octagon operators; Sparse octagon operators; Octagon closure algorithmOrganisational unit
02150 - Departement Informatik / Department of Computer Science03893 - Püschel, Markus
03948 - Vechev, Martin
Notes
.More
Show all metadata
Altmetrics