Publikationen
TACAI: An Intermediate Representation Based on Abstract Interpretation
Autor | Reif, Michael; Kübler, Florian; Helm, Dominik; Hermann, Ben; Eichberg, Michael; Mezini, Mira |
---|---|
Datum | 2020 |
Art | Conference Proceedings |
Konferenz | SOAP 2020-9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis |
ISBN | 978-1-4503-7997-7 |
Url | https://tubiblio.ulb.tu-darmstadt.de/id/eprint/121449 |