Pushdown flow analysis with abstract garbage collection
From MaRDI portal
Publication:2875231
DOI10.1017/S0956796814000100zbMath1297.68051arXiv1406.5106MaRDI QIDQ2875231
Ilya Sergey, Matthew Might, Christopher F. Earl, David A. Vanhorn, J. Ian Johnson
Publication date: 14 August 2014
Published in: Journal of Functional Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1406.5106
68N18: Functional programming and lambda calculus