Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
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. In Luca de Alfaro, editor, Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS), volume 5504 of Lecture Notes in Computer Science, pages 440–455, York, UK, March 2009. Springer.

Suggested BibTeX entry:

@inproceedings{KSSK09a,
    address = {York, UK},
    author = {Morten K\"uhnrich and Stefan Schwoon and Ji\v{r}\'{\i} Srba and Stefan Kiefer},
    booktitle = {Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS)},
    editor = {Luca de Alfaro},
    month = {March},
    pages = {440--455},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains},
    volume = {5504},
    year = {2009}
}

PDF (211 kB)
Tech report version