Reference:

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.

Abstract:

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:

@inproceedings{EK99,
    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}
}