A programming model for semi-implicit parallelization of static analyses.

Dominik Helm, Florian Kbler, Jan Thomas Klzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, Mira Mezini

Browse the full ISSTA paper archive.