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
    [J]. 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.
    [J]. IBM Technical Disclosure Bulletin, 1973, 16 (07): : 2322 - 2329
  • [3] CONSTRUCTIVE SYSTEM FOR AUTOMATIC PROGRAM SYNTHESIS
    GALMICHE, D
    [J]. THEORETICAL COMPUTER SCIENCE, 1990, 71 (02) : 227 - 239
  • [4] AUTOMATIC PROGRAM SYNTHESIS SYSTEM FOR NC MACHINE-TOOLS BASED ON PC-PROLOG
    SZUBA, T
    [J]. ANGEWANDTE INFORMATIK, 1984, (06): : 234 - 243
  • [5] AN EXPERT SYSTEM FOR COBOL PROGRAM DEBUGGING
    LITECKY, C
    [J]. DATA BASE, 1989, 20 (01): : 1 - 6
  • [6] AUTOMATIC DEBUGGING OF SYSTEM-ON-A-CHIP DESIGNS
    Rogin, Frank
    Drechsler, Rolf
    Ruelke, Steffen
    [J]. IEEE INTERNATIONAL SOC CONFERENCE, PROCEEDINGS, 2009, : 333 - +
  • [7] Debugging tools
    [J]. Hewlett-Packard Journal, 1992, 43 (04):
  • [8] CCSP - A FORMAL SYSTEM FOR DISTRIBUTED PROGRAM DEBUGGING
    ARROWSMITH, B
    MCMILLIN, B
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1995, 21 (01) : 45 - 50
  • [9] Integrating tools for automatic program verification
    Hubbers, E
    [J]. PERSPECTIVES OF SYSTEM INFORMATICS, 2003, 2890 : 214 - 221
  • [10] Automatic generation of hardware/software interface with product-specific debugging tools
    Yun, Jeong-Han
    Kim, Gunwoo
    Son, Choonho
    Han, Taisook
    [J]. EMBEDDED AND UBIQUITOUS COMPUTING, PROCEEDINGS, 2006, 4096 : 742 - 753
12345