Abstract allocation as a unified approach to polyvariance in control-flow analyses

Thomas Gilray, Michael D. Adams 0001, Matthew Might. Abstract allocation as a unified approach to polyvariance in control-flow analyses. Journal of Functional Programming, 28, 2018. [doi]

Abstract

Abstract is missing.