Eberhard Karls Universität Tübingen

Mathematisch-Naturwissenschaftliche FakultätProgramming Languages and Software Technology

Automatic Incrementalization of Prolog based Static Analyses

Author's version
Main.pdf

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

In Proceedings of Practical Aspects of Declarative Languages, 9th International Symposium (PADL), pages 109–123. Springer-Verlag Heidelberg, 2007.