STATIC ANALYSIS OF PROGRAMS AS AN AID TO DEBUGGING

被引：0
|
作者：
TISCHLER, R
SCHAUFLER, R
PAYNE, C
机构：
来源：
SIGPLAN NOTICES | 1983年 / 18卷 / 08期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：155 / 158
页数：4
相关论文
共 50 条
  • [1] Debugging Static Analysis
    Do, Lisa Nguyen Quang
    Kruger, Stefan
    Hill, Patrick
    Ali, Karim
    Bodden, Eric
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2020, 46 (07) : 697 - 709
  • [2] An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs
    Huang, Jeff
    Zhang, Charles
    STATIC ANALYSIS, 2011, 6887 : 163 - 179
  • [3] A static analysis for program understanding and debugging
    Gaugne, R
    AUTOMATED SOFTWARE ENGINEERING, 12TH IEEE INTERNATIONAL CONFERENCE, PROCEEDINGS, 1997, : 297 - 298
  • [4] EMUNET: A debugging aid for distributed programs in TCP/IP based network
    Meng, XN
    1977 IEEE INTERNATIONAL PERFORMANCE, COMPUTING AND COMMUNICATIONS CONFERENCE, 1997, : 101 - 107
  • [5] TECHNIQUES FOR DEBUGGING PARALLEL PROGRAMS WITH FLOWBACK ANALYSIS
    CHOI, JD
    MILLER, BP
    NETZER, RHB
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1991, 13 (04): : 491 - 530
  • [6] EVENT SYNCHRONIZATION ANALYSIS FOR DEBUGGING PARALLEL PROGRAMS
    EMRATH, PA
    GHOSH, S
    PADUA, DA
    PROCEEDINGS : SUPERCOMPUTING 89, 1989, : 580 - 588
  • [7] Combined static and dynamic assertion-based debugging of constraint logic programs
    Puebla, G
    Bueno, F
    Hermenegildo, M
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, PROCEEDINGS, 2000, 1817 : 273 - 292
  • [8] UNDERSTANDING AND DEBUGGING PROGRAMS
    LUKEY, FJ
    INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1980, 12 (02): : 189 - 202
  • [9] Debugging DVM Programs
    V. A. Krukov
    R. V. Udovichenko
    Programming and Computer Software, 2001, 27 : 123 - 129
  • [10] DEBUGGING CONCURRENT PROGRAMS
    MCDOWELL, CE
    HELMBOLD, DP
    COMPUTING SURVEYS, 1989, 21 (04) : 593 - 622
12345