The debug slicing of logic programs

被引：0
|
作者：
Szilágyi, Gyöngyi [1 ]
Harmath, László [1 ]
Gyimóthy, Tibor [1 ]
机构：
[1] Research Group on Artificial Intelligence, Hungarian Academy of Sciences, Aradi vértanuk tere 1, 6720 Szeged, Hungary
来源：
Acta Cybernetica | 2001年 / 15卷 / 02期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：257 / 278
相关论文
共 50 条
  • [41] An evaluation of slicing algorithms for concurrent programs
    Giffhorn, Dennis
    Hammer, Christian
    SEVENTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2007, : 17 - +
  • [42] Dynamic Slicing of Python']Python Programs
    Chen, Zhifei
    Chen, Lin
    Zhou, Yuming
    Xu, Zhaogui
    Chu, William C.
    Xu, Baowen
    2014 IEEE 38TH ANNUAL INTERNATIONAL COMPUTERS, SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2014, : 219 - 228
  • [43] RESTRUCTURING PROGRAMS THROUGH PROGRAM SLICING
    KIM, HS
    KWON, YR
    CHUNG, IS
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1994, 4 (03) : 349 - 368
  • [44] An approach of monadic slicing for interprocedural programs
    Zhang, Ying-Zhou
    Fu, Wei
    Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2013, 41 (08): : 1457 - 1461
  • [45] DYNAMIC SLICING OF COMPUTER-PROGRAMS
    KOREL, B
    LASKI, J
    JOURNAL OF SYSTEMS AND SOFTWARE, 1990, 13 (03) : 187 - 195
  • [46] Precise slicing of interprocedural concurrent programs
    Xiaofang Qi
    Zhenliang Jiang
    Frontiers of Computer Science, 2017, 11 : 971 - 986
  • [47] Program slicing in understanding of large programs
    Korel, B
    Rilling, J
    6TH INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION (IWPC 98) - PROCEEDINGS, 1998, : 145 - 152
  • [48] Slicing concurrent Java']Java programs
    Zhao, JJ
    SEVENTH INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS, 1999, : 126 - 133
  • [49] A model for slicing JAVA programs hierarchically
    Bi-Xin Li
    Xiao-Cong Fan
    Jun Pang
    Jian-Jun Zhao
    Journal of Computer Science and Technology, 2004, 19 : 848 - 858
  • [50] A Theory of Slicing for Imperative Probabilistic Programs
    Amtoft, Torben
    Banerjee, Anindya
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2020, 42 (02):
12345