I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - An Automata-theoretic Approach to Interprocedural Dataflow Analysis


J. Esparza and J. Knoop. An automata-theoretic approach to interprocedural dataflow analysis. In W. Thomas, editor, Proceedings von FOSSACS'99, number 1578 in Lecture Notes in Computer Science, pages 14–30, 1999.


We show that recent progress in extending the automata-theoretic approach to model-checking beyond the class of finite-state processes finds a natural application in the area of interprocedural data-flow analysis.

Suggested BibTeX entry:

    author = {J. Esparza and J. Knoop},
    booktitle = {Proceedings von FOSSACS'99},
    editor = {W. Thomas},
    number = {1578},
    pages = {14--30},
    series = {Lecture Notes in Computer Science},
    title = {An Automata-theoretic Approach to Interprocedural Dataflow Analysis},
    year = {1999}

GZipped PostScript (103 kB)
PDF (278 kB)