SOFTWARE-VALIDATION .1. CONTROL-FLOW AND DATA-FLOW ANALYSIS

被引：2
|
作者：
CARRE, BA
机构：
来源：
MICROPROCESSORS AND MICROSYSTEMS | 1980年 / 4卷 / 10期
关键词：
D O I：
10.1016/0141-9331(80)90214-8
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：395 / 406
页数：12
相关论文
共 50 条
  • [31] Data-flow analysis for MPI programs
    Strout, Michelle Mills
    Kreaseck, Barbara
    Hovland, Paul D.
    [J]. 2006 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, PROCEEDINGS, 2006, : 175 - 184
  • [32] Data-flow analysis of program fragments
    Rountev, A
    Ryder, BG
    Landi, W
    [J]. SOFTWARE ENGINEERING - ESEC/FSE '99, PROCEEDINGS, 1999, 1687 : 235 - 252
  • [33] Process control-flow complexity metric: An empirical validation
    Cardoso, Jorge
    [J]. 2006 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, PROCEEDINGS, 2006, : 167 - 173
  • [34] Acceleration in convex data-flow analysis
    Leroux, Jerome
    Sutre, Gregoire
    [J]. FSTTCS 2007: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2007, 4855 : 520 - 531
  • [35] INCREMENTAL DATA-FLOW ANALYSIS ALGORITHMS
    RYDER, BG
    PAULL, MC
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1988, 10 (01): : 1 - 50
  • [36] FUZZY ARRAY DATA-FLOW ANALYSIS
    COLLARD, JF
    BARTHOU, D
    FEAUTRIER, P
    [J]. SIGPLAN NOTICES, 1995, 30 (08): : 92 - 101
  • [37] Incremental method of data-flow analysis
    Lian, Rui-Qi
    Zhang, Zhao-Qing
    Qiao, Ru-Liang
    [J]. Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2002, 39 (02):
  • [38] CONTROL OF PARALLELISM IN THE MANCHESTER DATA-FLOW MACHINE
    RUGGIERO, CA
    SARGEANT, J
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 274 : 1 - 15
  • [39] Control-Flow Decoupling
    Sheikh, Rami
    Tuck, James
    Rotenberg, Eric
    [J]. 2012 IEEE/ACM 45TH INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE (MICRO-45), 2012, : 329 - 340
  • [40] Widening for Control-Flow
    Hardekopf, Ben
    Wiedermann, Ben
    Churchill, Berkeley
    Kashyap, Vineeth
    [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION: (VMCAI 2014), 2014, 8318 : 472 - 491
12345