Metadata only
Datum
2017-01Typ
- Conference Paper
Publikationsstatus
publishedExterne Links
Buchtitel
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL'17Seiten / Artikelnummer
Verlag
Association for Computing MachineryKonferenz
Thema
Abstract interpretation; Numerical program analysis; Partitions; Performance optimization; Polyhedra decompositionOrganisationseinheit
03948 - Vechev, Martin / Vechev, Martin
03893 - Püschel, Markus / Püschel, Markus
Zugehörige Publikationen und Daten
Is part of: https://doi.org/10.3929/ethz-b-000445921