IncA: a DSL for the definition of incremental program analyses
Tamás Szabó, Sebastian Erdweg, Markus Voelter · 2016
Program analyses support software developers, for example, through error detection, code-quality assurance, and by enabling compiler optimizations and refactorings. To provide real-time feedback to developers within IDEs, an analysis must run efficiently even if the analyzed code base is large.