Static Analysis Refuses to Stay Still: Prospects of Static Analysis for Dynamic Allocation (Abstract)

Philip Wadler Static Analysis Refuses to Stay Still: Prospects of Static Analysis for Dynamic Allocation (Abstract) 117 conf/iwmm/95 IWMM 1995 db/conf/iwmm/iwmm95.html#Wadler95