Eduardo Bonelli Adriana B. Compagnoni Ricardo Medel Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks. 37-56 2005 conf/cassis/2005 CASSIS http://dx.doi.org/10.1007/11741060_3 db/conf/cassis/cassis2005.html#BonelliCM05