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 条
  • [1] The Debug slicing of logic programs
    Szilágyi, G. (szilagyi@inf.u-szeged.hu), 2001, University of Szeged (15):
  • [2] USING TEMPORAL LOGIC SPECIFICATIONS TO DEBUG PARALLEL PROGRAMS
    FREY, M
    WEININGER, A
    MICROPROCESSING AND MICROPROGRAMMING, 1993, 39 (2-5): : 97 - 100
  • [3] A slicing tool for lazy functional logic programs
    Ochoa, Claudio
    Silva, Josep
    Vidal, German
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4160 : 498 - 501
  • [4] Static and dynamic slicing of constraint logic programs
    Szilágyi G.
    Gyimóthy T.
    Małuszyński J.
    Automated Software Engineering, 2002, 9 (1) : 41 - 65
  • [5] A flexible framework for dynamic and static slicing of logic programs
    Vasconcelos, WW
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 1999, 1551 : 259 - 274
  • [6] Forward slicing of functional logic programs by partial evaluation
    Silva, Josep
    Vidal, German
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2007, 7 : 215 - 247
  • [7] Detecting temporal logic predicates in distributed programs using computation slicing
    Sen, A
    Garg, VK
    PRINCIPLES OF DISTRIBUTED SYSTEMS, 2004, 3144 : 171 - 183
  • [8] A logic for information flow analysis with an application to forward slicing of simple imperative programs
    Amtoft, Torben
    Banerjee, Anindya
    SCIENCE OF COMPUTER PROGRAMMING, 2007, 64 (01) : 3 - 28
  • [9] Slicing Probabilistic Programs
    Hur, Chung-Kil
    Nori, Aditya V.
    Rajamani, Sriram K.
    Samuel, Selva
    ACM SIGPLAN NOTICES, 2014, 49 (06) : 133 - 144
  • [10] LAURA, A SYSTEM TO DEBUG STUDENT PROGRAMS
    ADAM, A
    LAURENT, JP
    ARTIFICIAL INTELLIGENCE, 1980, 15 (1-2) : 75 - 122
12345