An automata-theoretic approach to interprocedural data-flow analysis

被引：0

作者：

Esparza, J

Knoop, J

机构：

[1] Tech Univ Munich, D-80290 Munich, Germany

[2] Univ Dortmund, D-44221 Dortmund, Germany

来源：

FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES | 1999年 / 1578卷

关键词：

interprocedural dataflow analysis; model-checking; automata theory; program optimisation;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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 dataflow analysis.

引用

页码：14 / 30

页数：17