A unified lattice model and framework for purity analyses
Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, Mira Mezini
In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE 2018)