IncA: a DSL for the definition of incremental program analyses

Tamás Szabó, Sebastian Erdweg, Markus Voelter

Abstract

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.

BibTeX

@inproceedings{Szabo-al:ASE16,
  author    = {Tam{\'{a}}s Szab{\'{o}} and
               Sebastian Erdweg and
               Markus Voelter},
  title     = {{IncA:} a {DSL} for the definition of incremental program analyses},
  booktitle = {ASE},
  pages     = {320--331},
  publisher = {{ACM}},
  year      = {2016},
}

IncA: a DSL for the definition of incremental program analyses

Abstract

Related papers