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
相关论文
共 50 条
  • [1] An automata-theoretic approach to constraint LTL
    Demri, Stephane
    D'Souza, Deepak
    INFORMATION AND COMPUTATION, 2007, 205 (03) : 380 - 415
  • [2] AN AUTOMATA-THEORETIC APPROACH TO BEHAVIORAL EQUIVALENCE
    DEVADAS, S
    KEUTZER, K
    INTEGRATION-THE VLSI JOURNAL, 1991, 12 (02) : 109 - 129
  • [3] AN AUTOMATA-THEORETIC APPROACH TO PROTOCOL VERIFICATION
    VARDI, MY
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 335 : 73 - 73
  • [4] An automata-theoretic approach to software verification
    Esparza, J
    DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, 2003, 2710 : 21 - 21
  • [5] An Automata-Theoretic Approach to Regular XPath
    Calvanese, Diego
    De Giacomo, Giuseppe
    Lenzerini, Maurizio
    Vardi, Moshe Y.
    DATABASE PROGRAMMING LANGUAGES, 2009, 5708 : 18 - +
  • [6] An automata-theoretic approach to constraint LTL
    Demri, S
    D'Souza, D
    FST TCS 2002: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEOETICAL COMPUTER SCIENCE, PROCEEDINGS, 2002, 2556 : 121 - 132
  • [7] The automata-theoretic approach to verification of reactive systems
    Chebotarev A.N.
    Cybernetics and Systems Analysis, 2001, 37 (6) : 810 - 819
  • [8] An automata-theoretic approach to the verification of distributed algorithms
    Aiswarya, C.
    Bollig, Benedikt
    Gastin, Paul
    INFORMATION AND COMPUTATION, 2018, 259 : 305 - 327
  • [9] An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data
    Frenkel, Hadar
    Grumberg, Orna
    Sheinvald, Sarai
    NASA FORMAL METHODS (NFM 2017), 2017, 10227 : 1 - 18
  • [10] Automata-theoretic hierarchies
    Niwinski, Damian
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (96):