Automatic Incrementalization of Prolog Based Static Analyses.

Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini, Klaus Ostermann

Browse the full PADL paper archive.