EXTENDING EXECUTION TREES FOR DEBUGGING AND ANIMATION IN LOGIC PROGRAMMING

被引：0
|
作者：
LOYOLA, D
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1991年 / 528卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：419 / 420
页数：2
相关论文
共 50 条
  • [1] RATIONAL DEBUGGING IN LOGIC PROGRAMMING
    PEREIRA, LM
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 203 - 210
  • [2] Extending DMM Behavior Specifications for Visual Execution and Debugging
    Bandener, Nils
    Soltenborn, Christian
    Engels, Gregor
    [J]. SOFTWARE LANGUAGE ENGINEERING, 2011, 6563 : 357 - 376
  • [3] DEBUGGING TOOLS FOR CONCURRENT LOGIC PROGRAMMING
    CONLON, T
    GREGORY, S
    [J]. COMPUTER JOURNAL, 1992, 35 (02): : 157 - 169
  • [4] Scaling Up Algorithmic Debugging with Virtual Execution Trees
    Insa, David
    Silva, Josep
    [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2011, 6564 : 149 - 163
  • [5] Co-logic programming: Extending logic programming with coinduction
    Simon, Luke
    Bansal, Ajay
    Mallya, Ajay
    Gupta, Gopal
    [J]. AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2007, 4596 : 472 - +
  • [6] FOUNDATIONS OF DECLARATIVE DEBUGGING IN ARBITRARY LOGIC PROGRAMMING
    YAN, SY
    [J]. INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1990, 32 (02): : 215 - 232
  • [7] Logic programming and the execution model of Prolog
    Tamir, DE
    Kandel, A
    [J]. INFORMATION SCIENCES-APPLICATIONS, 1995, 4 (03): : 167 - 191
  • [8] Execution visualization and debugging in three-dimensional visual programming
    Okamura, T
    Shizuki, B
    Tanaka, J
    [J]. EIGHTH INTERNATIONAL CONFERENCE ON INFORMATION VISUALISATION, PROCEEDINGS, 2004, : 167 - 172
  • [9] Extending Omniscient Debugging to Support Aspect-Oriented Programming
    Pothier, Guillaume
    Tanter, Eric
    [J]. APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 266 - 270
  • [10] LOGIC PROGRAMMING ENVIRONMENTS - DYNAMIC PROGRAM ANALYSIS AND DEBUGGING
    DUCASSE, M
    NOYE, J
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1994, 20 : 351 - 384
12345