TY  - RPRT
TI  - Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
AU  - Morten Kühnrich
AU  - Stefan Schwoon
AU  - Jiří Srba
AU  - Stefan Kiefer
PY  - 2009
UR  - https://arxiv.org/abs/0901.0501
ID  - 0901.0501
ER  -