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. pages 870-875, ACM, 2016. [doi]

Authors

Tamás Szabó

This author has not been identified. Look up 'Tamás Szabó' in Google

Simon Alperovich

This author has not been identified. Look up 'Simon Alperovich' in Google

Markus Voelter

Identified as Markus Völter

Sebastian Erdweg

Identified as Sebastian Erdweg