Automatic Incrementalization of Prolog Based Static Analyses

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]

Authors

Michael Eichberg

This author has not been identified. Look up 'Michael Eichberg' in Google

Matthias Kahl

This author has not been identified. Look up 'Matthias Kahl' in Google

Diptikalyan Saha

This author has not been identified. Look up 'Diptikalyan Saha' in Google

Mira Mezini

This author has not been identified. Look up 'Mira Mezini' in Google

Klaus Ostermann

Identified as Klaus Ostermann