DEBL - A KNOWLEDGE-BASED LANGUAGE FOR SPECIFYING AND DEBUGGING DISTRIBUTED PROGRAMS

被引：0
|
作者：
CHENG, WHS [1 ]
WALLENTINE, VE [1 ]
机构：
[1] KANSAS STATE UNIV AGR & APPL SCI,DEPT COMP & INFORMAT SCI,MANHATTAN,KS 66506
来源：
COMMUNICATIONS OF THE ACM | 1989年 / 32卷 / 09期
关键词：
D O I：
10.1145/66451.66455
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：1079 / 1084
页数：6
相关论文
共 50 条
  • [1] KNOWLEDGE-BASED FAULT LOCALIZATION IN DEBUGGING
    SEDLMEYER, RL
    THOMPSON, WB
    JOHNSON, PE
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1983, 3 (04) : 301 - 307
  • [2] KNOWLEDGE-BASED PROGRAM DEBUGGING SYSTEMS
    SEVIORA, RE
    [J]. IEEE SOFTWARE, 1987, 4 (03) : 20 - 32
  • [3] Knowledge-based programs
    Ronald Fagin
    Joseph Y. Halpern
    Yoram Moses
    Moshe Y. Vardi
    [J]. Distributed Computing, 1997, 10 : 199 - 225
  • [4] Knowledge-based programs
    Fagin, R
    Halpern, JY
    Moses, Y
    Vardi, MY
    [J]. DISTRIBUTED COMPUTING, 1997, 10 (04) : 199 - 225
  • [5] Debugging knowledge-based applications with a generic toolkit
    Craw, S
    Boswell, R
    [J]. 12TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, : 182 - 185
  • [6] Interpreting Knowledge-based Programs
    Knapp, Alexander
    Muehlberger, Heribert
    Reus, Bernhard
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2023, 2023, 13990 : 253 - 280
  • [7] Interpreting Knowledge-based Programs
    Knapp, Alexander
    Mühlberger, Heribert
    Reus, Bernhard
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13990 LNCS : 253 - 280
  • [8] Probabilistic Knowledge-Based Programs
    Lang, Jerome
    Zanuttini, Bruno
    [J]. PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 1594 - 1600
  • [9] Implementing knowledge-based programs
    Vardi, MY
    [J]. THEORETICAL ASPECTS OF RATIONALITY AND KNOWLEDGE, 1996, : 15 - 30
  • [10] KNOWLEDGE-BASED FAULT LOCALIZATION IN DEBUGGING (PRELIMINARY DRAFT)
    SEDLMEYER, RL
    THOMPSON, WB
    JOHNSON, PE
    [J]. SIGPLAN NOTICES, 1983, 18 (08): : 25 - 31
12345