Travelled to:
1 × United Kingdom
Collaborated with:
S.Schwoon J.Srba S.Kiefer
Talks about:
interprocedur (1) dataflow (1) infinit (1) descend (1) analysi (1) weight (1) domain (1) chain (1)
Person: Morten Kühnrich
DBLP: K=uuml=hnrich:Morten
Contributed to:
Wrote 1 papers:
- FoSSaCS-2009-KuhnrichSSK #analysis #data flow #infinity #interprocedural
- Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains (MK, SS, JS, SK), pp. 440–455.