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
ISBN9781450379977
Urlhttps://tubiblio.ulb.tu-darmstadt.de/id/eprint/121449