DMCA

Automatic incrementalization of prolog based static analyses (2007)

by Michael Eichberg , Matthias Kahl , Diptikalyan Saha , Mira Mezini , Klaus Ostermann
Venue:Practical Aspects of Declarative Languages, volume 4354 of LNCS
Citations:6 - 0 self