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

Tamás Szabó, Simon Alperovich, Markus Völter, Sebastian Erdweg. An extensible framework for variable-precision data-flow analyses in MPS. In David Lo, Sven Apel, Sarfraz Khurshid, editors, Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016. pages 870-875, ACM, 2016. [doi]

Abstract

Abstract is missing.