Publications
TACAI: An Intermediate Representation Based on Abstract Interpretation
| Author | Reif, Michael; Kübler, Florian; Helm, Dominik; Hermann, Ben; Eichberg, Michael; Mezini, Mira |
|---|---|
| Date | 2020 |
| Type | Conference Proceedings |
| Conference | 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 |
