Morten Kühnrich Stefan Schwoon Jirí Srba Stefan Kiefer Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains http://arxiv.org/abs/0901.0501 2009 CoRR abs/0901.0501 db/journals/corr/corr0901.html#abs-0901-0501 informal publication