DEBUGGING TOOLS FOR A SYSTEM WITH AUTOMATIC PROGRAM SYNTHESIS

被引：0
|
作者：
MATSKIN, MB
机构：
来源：
PROGRAMMING AND COMPUTER SOFTWARE | 1983年 / 9卷 / 04期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：173 / 177
页数：5
相关论文
共 50 条
  • [1] Automatic program debugging system for programming language tutoring system
    Moon, N
    Lee, K
    INTERNATIONAL SOCIETY FOR COMPUTERS AND THEIR APPLICATIONS 13TH INTERNATIONAL CONFERENCE ON COMPUTERS AND THEIR APPLICATIONS, 1998, : 50 - 53
  • [2] PROGRAM DEBUGGING SYSTEM.
    Flanagan, H.W.
    IBM Technical Disclosure Bulletin, 1973, 16 (07): : 2322 - 2329
  • [3] CONSTRUCTIVE SYSTEM FOR AUTOMATIC PROGRAM SYNTHESIS
    GALMICHE, D
    THEORETICAL COMPUTER SCIENCE, 1990, 71 (02) : 227 - 239
  • [4] AUTOMATIC PROGRAM SYNTHESIS SYSTEM FOR NC MACHINE-TOOLS BASED ON PC-PROLOG
    SZUBA, T
    ANGEWANDTE INFORMATIK, 1984, (06): : 234 - 243
  • [5] AN EXPERT SYSTEM FOR COBOL PROGRAM DEBUGGING
    LITECKY, C
    DATA BASE, 1989, 20 (01): : 1 - 6
  • [6] Debugging tools
    Hewlett-Packard Journal, 1992, 43 (04):
  • [7] AUTOMATIC DEBUGGING OF SYSTEM-ON-A-CHIP DESIGNS
    Rogin, Frank
    Drechsler, Rolf
    Ruelke, Steffen
    IEEE INTERNATIONAL SOC CONFERENCE, PROCEEDINGS, 2009, : 333 - +
  • [8] Integrating tools for automatic program verification
    Hubbers, E
    PERSPECTIVES OF SYSTEM INFORMATICS, 2003, 2890 : 214 - 221
  • [9] CCSP - A FORMAL SYSTEM FOR DISTRIBUTED PROGRAM DEBUGGING
    ARROWSMITH, B
    MCMILLIN, B
    PROGRAMMING AND COMPUTER SOFTWARE, 1995, 21 (01) : 45 - 50
  • [10] ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools
    Mordahl, Austin
    Soles, Dakota
    Miao, Miao
    Zhang, Zenong
    Wei, Shiyi
    PROCEEDINGS OF THE 32ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2023, 2023, : 1479 - 1482
12345