An extensible framework for variable-precision data-flow analyses in MPS

Tamás Szabó, Simon Alperovich, Markus Voelter, Sebastian Erdweg

Abstract

Data-flow analyses are used as part of many software engineering tasks: they are the foundations of program under- standing, refactorings and optimized code generation. Similar to general-purpose languages (GPLs), state-of-the-art domain-specific languages (DSLs) also require sophisticated data-flow analyses. However, as a consequence of the different economies of DSL development and their typically relatively fast evolution, the effort for developing and evolving such analyses must be lowered compared to GPLs. This tension can be resolved with dedicated support for data-flow analyses in language workbenches.

BibTeX

@inproceedings{Szabo-al:ASE16,
  author    = {Tam{\'{a}}s Szab{\'{o}} and
               Simon Alperovich and
               Markus Voelter and
               Sebastian Erdweg},
  title     = {An extensible framework for variable-precision data-flow analyses in {MPS}},
  booktitle = {ASE},
  pages     = {870--875},
  publisher = {{ACM}},
  year      = {2016},
}

An extensible framework for variable-precision data-flow analyses in MPS

Abstract

Related papers