Program slicing based on data-flow computation of path dependence flow graphs

被引：0
|
作者：
Naoi, Kuniaki [1 ]
Takahashi, Naohisa [1 ]
机构：
[1] NTT Software Lab, Musachino, Japan
来源：
Systems and Computers in Japan | 1997年 / 28卷 / 11期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：22 / 33
相关论文
共 50 条
  • [21] DATA FLOW PROGRAM GRAPHS
    DAVIS, AL
    KELLER, RM
    COMPUTER, 1982, 15 (02) : 26 - 41
  • [22] Scheduling data-flow graphs via retiming and unfolding
    Chao, LF
    Sha, EHM
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1997, 8 (12) : 1259 - 1267
  • [23] SCHEDULING SYNCHRONOUS DATA-FLOW GRAPHS FOR EFFICIENT LOOPING
    BHATTACHARYYA, SS
    LEE, EA
    JOURNAL OF VLSI SIGNAL PROCESSING, 1993, 6 (03): : 271 - 288
  • [24] Properties and Algorithms for Unfolding of Probabilistic Data-Flow Graphs
    Sissades Tongsima
    Timothy W. O'Neil
    Chantana Chantrapornchai
    Edwin H.-M. Sha
    Journal of VLSI signal processing systems for signal, image and video technology, 2000, 25 : 215 - 233
  • [25] Comprehensive Path-sensitive Data-flow Analysis
    Thakur, Aditya
    Govindarajan, R.
    CGO 2008: SIXTH INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, PROCEEDINGS, 2008, : 55 - 63
  • [26] Control-flow semantics for assembly-level data-flow graphs
    Kahl, Wolfram
    Anand, Christopher K.
    Carette, Jacques
    RELATIONAL METHODS IN COMPUTER SCIENCE, 2005, 2006, 3929 : 147 - 160
  • [27] COMPILE-TIME SCHEDULING AND ASSIGNMENT OF DATA-FLOW PROGRAM GRAPHS WITH DATA-DEPENDENT ITERATION
    HA, SH
    LEE, EA
    IEEE TRANSACTIONS ON COMPUTERS, 1991, 40 (11) : 1225 - 1238
  • [28] Detection of Smart Contract Timestamp Vulnerability Based on Data-flow Path Learning
    Zhang Z.
    Liu Y.-P.
    Xue J.-X.
    Yan M.
    Chen J.-C.
    Mao X.-G.
    Ruan Jian Xue Bao/Journal of Software, 2024, 35 (05): : 2325 - 2339
  • [29] A POLYNOMIAL-TIME ALGORITHM FOR THE COMPUTATION OF THE ITERATION-PERIOD BOUND IN RECURSIVE DATA-FLOW GRAPHS
    GEREZ, SH
    DEGROOT, SMH
    HERRMANN, OE
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-FUNDAMENTAL THEORY AND APPLICATIONS, 1992, 39 (01): : 49 - 52
  • [30] Model Checking with Program Slicing Based on Variable Dependence Graphs
    Matsubara, Masahiro
    Sakurai, Kohei
    Narisawa, Fumio
    Enshoiwa, Masushi
    Yamane, Yoshio
    Yamanaka, Hisamitsu
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (105): : 56 - 68
12345