Interprocedural dataflow analysis over weight domains with infinite descending chains (2009)

by Morten Kühnrich, Stefan Schwoon, Jǐŕı Srba, Stefan Kiefer