"IncA: a DSL for the definition of incremental program analyses."

Tamás Szabó, Sebastian Erdweg, Markus Voelter (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics