Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini, Klaus Ostermann. Automatic Incrementalization of Prolog Based Static Analyses. In Michael Hanus, editor, Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Volume 4354 of Lecture Notes in Computer Science, pages 109-123, Springer, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.