We show that recent progress in extending the automatatheoretic approach to model-checking beyond the class of finite-state processes finds a natural application in the area of interprocedural data-flow analysis.
CITATION STYLE
Esparza, J., & Knoop, J. (1999). An automata-theoretic approach to interprocedural data-flow analysis. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1578, pp. 14–30). Springer Verlag. https://doi.org/10.1007/3-540-49019-1_2
Mendeley helps you to discover research relevant for your work.