@inproceedings{0c1dca3dbfde43a3b6ea7b329cc29d24,
title = "An automata-theoretic approach to interprocedural data-flow analysis",
abstract = "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.",
keywords = "Automata theory, Interprocedural data-flow analysis, Model-checking, Program optimisation",
author = "Javier Esparza and Jens Knoop",
note = "Publisher Copyright: {\textcopyright} Sp 99.; 2nd International Conference on Foundations of Software Science and Computation Structures, FOSSACS 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999 ; Conference date: 22-03-1999 Through 28-03-1999",
year = "1999",
doi = "10.1007/3-540-49019-1_2",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "14--30",
editor = "Wolfgang Thomas",
booktitle = "Foundations of Software Science and Computation Structures - 2nd International Conference, FOSSACS 1999, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999, Proceedings",
}