Exploiting reachability and cardinality in higher-order flow analysis
From MaRDI portal
Publication:3546050
DOI10.1017/S0956796808006941zbMath1155.68353MaRDI QIDQ3546050
Publication date: 18 December 2008
Published in: Journal of Functional Programming (Search for Journal in Brave)
Cites Work