Pushdown flow analysis with abstract garbage collection

DOI10.1017/S0956796814000100zbMath1297.68051arXiv1406.5106MaRDI QIDQ2875231

Matthew Might, Christopher F. Earl, David A. Vanhorn, Ilya Sergey, 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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

Liberate Abstract Garbage Collection from the Stack by Decomposing the Heap

This page was built for publication: Pushdown flow analysis with abstract garbage collection