TACAI: an intermediate representation based on abstract interpretation.

Michael Reif, Florian Kbler, Dominik Helm, Ben Hermann, Michael Eichberg, Mira Mezini

Browse the full PLDI paper archive.