Publikationen

TACAI: An Intermediate Representation Based on Abstract Interpretation

AutorReif, Michael; Kübler, Florian; Helm, Dominik; Hermann, Ben; Eichberg, Michael; Mezini, Mira
Datum2020
ArtConference Proceedings
KonferenzSOAP 2020-9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
ISBN978-1-4503-7997-7
Urlhttps://tubiblio.ulb.tu-darmstadt.de/id/eprint/121449