An extensible framework for variable-precision data-flow analyses in MPS. - Tamás Szabó; Simon Alperovich; Markus Voelter; Sebastian Erdweg (ASE, 2016)