Abstract allocation as a unified approach to polyvariance in control-flow analyses
GILRAY, THOMAS, ADAMS, MICHAEL D., MIGHT, MATTHEWVolume:
28
Year:
2018
Language:
english
Journal:
Journal of Functional Programming
DOI:
10.1017/S0956796818000138
File:
PDF, 865 KB
english, 2018