%0 Journal Article 
%F mcallester2002
%A McAllester, David
%T On the complexity analysis of static analyses
%J J. ACM
%V 49
%N 4
%P 512-537
%I ACM
%C New York, NY, USA
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/mcallester2002.pdf
%U http://doi.acm.org/10.1145/581771.581774
%D 2002
%K dyntyp