I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains

Reference:

Morten Kühnrich, Stefan Schwoon, Jiří Srba, and Stefan Kiefer. Interprocedural dataflow analysis over weight domains with infinite descending chains. Technical Report 0901.0501, Computing Research Repository, 2009.

Suggested BibTeX entry:

@techreport{KSSK09b,
    author = {Morten K\"uhnrich and Stefan Schwoon and Ji\v{r}\'{\i} Srba and Stefan Kiefer},
    institution = {Computing Research Repository},
    number = {0901.0501},
    title = {Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains},
    year = {2009}
}

PDF (242 kB)
Conference version