Publications

TACAI: An Intermediate Representation Based on Abstract Interpretation

AuthorReif, Michael; Kübler, Florian; Helm, Dominik; Hermann, Ben; Eichberg, Michael; Mezini, Mira
Date2020
TypeConference Proceedings
ConferenceSOAP 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