A Systematic Approach to Abstract Interpretation of Program Transformations.
Sven Keidel and Sebastian Erdweg. In Proceedings of International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI). Springer, 2020. [ Details ]