Automatic Incrementalization of Prolog based Static Analyses

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.

Citation as BibTeX

@inproceedings{eichberg07automatic,
  author = {Eichberg, Michael and Kahl, Matthias and Saha, Diptikalyan and Mezini, Mira and Ostermann, Klaus},
  title = {Automatic Incrementalization of Prolog based Static Analyses},
  booktitle = {Proceedings of Practical Aspects of Declarative Languages, 9th International Symposium (PADL)},
  publisher = {Springer-Verlag Heidelberg},
  year = {2007},
  month = {jan},
  url = {http://www.informatik.uni-marburg.de/%7ekos/papers/Main.pdf},
  pages = {109–123},
  series = {Lecture Notes in Computer Science},
  month_numeric = {1}
}